Подстановка элементов данного множества (математическая), замена каждого из его элементов а каким-либо другим элементом j(а) из того же множества; при этом должны получаться все элементы исходного множества и каждый только один раз. Таким образом, понятие Подстановка по существу совпадает с понятием взаимно однозначного отображения множества на себя (см. Взаимно однозначное соответствие), однако оно применяется большей частью к конечным множествам. Только этот случай и рассматривается ниже. Для Подстановка принята запись ,

здесь под каждым из элементов данного множества написан соответствующий ему элемент. Так как свойства Подстановка не зависят от природы элементов а, b,..., с, то большей частью (во всяком случае — в учебных целях) используют целые числа 1, 2,..., n, при этом в верхней строке они преимущественно записываются в своём естественном порядке; Подстановка принимает вид

или проще ,

где j₁, j₂,..., j_n — те же числа 1, 2,..., n, но записанные, возможно, в каком-либо ином порядке. Т. о., вторая строка Подстановка образует перестановкуj₁, j₂,..., j_n из чисел 1, 2,..., n. Различных Подстановка из n элементов существует столько же, сколько и перестановок, т.е. n! = 1×2×3×...×n. Подстановка ,

оставляющая на месте все элементы, называется единичной, или тождественной. Для каждой подстановки А существует обратная, т. е. такая, которая переводит j_i в i; она обозначается через А^-1. Например, ; .

  Результат последовательного применения двух подстановок А и В снова будет некоторой подстановкой С: если А переводит i в j_i, а В переводит j_i в y_i, то С переводит i в y_i. Подстановка С называется произведением подстановок А и В, что записывается так: С = АВ. Например, если ; , .

  При умножении Подстановка не выполняется закон коммутативности, т. е., вообще говоря, АВ ¹ВА; так, в том же примере .

  Легко видеть, что IA = AI = А, АА^-1= А^-1А = I, А (ВС) = (АВ) С (ассоциативный закон). Т. о., все Подстановка из n элементов образуют группу, называемую симметрической группой степени n.

Подстановка, переставляющая местами только 2 элемента i и j, называют транспозицией и обозначается так: (i, j), например

  Любую Подстановка можно разложить в произведение транспозиций. Число множителей при разложении разными способами данной Подстановка в произведение транспозиций всегда будет либо чётным, либо нечётным. В соответствии с этим и Подстановка называют либо чётной, либо нечётной; например, А = (1, 3)(5, 4)(5, 1) — нечётная Подстановка Чётность Подстановка можно определить также по числу инверсий, т. е. по числу нарушений порядка в нижней строке Подстановка, если числа верхней строки расположены в их естественном порядке: чётность Подстановка совпадает с чётностью числа инверсий; например, в нижней строке подстановки А имеется 5 инверсий, т. е. случаев, когда большее число стоит раньше меньшего: (3, 2), (3, 1),(2, 1), (5, 1) и (5, 4). Существует n!/2 чётных и n!/2 нечётных Подстановка из n элементов.

  Подстановка, циклически переставляющая данную группу элементов, а остальные элементы оставляющая на месте, называется циклом. Число переставляемых элементов называют длиной цикла. Например, подстановка А есть цикл длины 4: она переводит 1 в 3, 3 в 5, 5 в 4, 4 в1; коротко это записывается так: А = (1, 3, 5, 4). Транспозиция есть цикл длины 2. Любую Подстановка можно разложить в произведение независимых (т. е. не имеющих общих элементов) циклов. Например,

  Термин «Подстановка» в интегральном исчислении означает замену переменной в подынтегральной функции.

 

  Лит.: Курош А. Г., Курс высшей алгебры, 10 изд., М. — Л., 1971.