Подстановка

множества - взаимно однозначное отображение множества на себя. Термин "П." главным образом применяется для конечного множества X. В этом случае удобно считать, что Х={1,..., п}, изаписывать П. в виде [img: http://localhost:8080/file/041721-72.jpg] (*) где i1, i2,..., in - нек-рая перестановка чисел 1, 2,..., n (впрочем, иногда термин "перестановка" употребляется как синоним термина "П.", см., напр., [2] с. 146). Запись (*) означает, что gпереводит число kв ik, то есть y(k)=ik (пишут также kg=ik).для i=1, 2,..., n. Число всех различных П. множества Xпри |Х| = n равно числу всех перестановок этого множества, т. е. n!. Произведение подстановок a и b множества [img: http://localhost:8080/file/041721-73.jpg] определяется как последовательное выполнение отображений a и b и задается формулой ab(x)=a(b(x)) для всех [img: http://localhost:8080/file/041721-74.jpg]. Совокупность всех П. множества Xобразует группу относительно введенного умножения, к-рая наз. симметрической группой. Любая подгруппа симметрич. группы наз. подстановок группой. Симметрич. группа П. множества Xобозначается S(X), она содержит в качестве подгруппы SF(X) - группу, состоящую из таких подстановок g, к-рые перемещают лишь конечное подмножество элементов (то есть [img: http://localhost:8080/file/041721-75.jpg] лишь для конечного множества элементов [img: http://localhost:8080/file/041721-76.jpg]). Если Xконечно и состоит из пэлементов, то симметрич. группа обозначается Sn. Транспозицией наз. такая П. множества X, к-рая меняет местами только два элемента iи j; она обозначается (i, j). В S п имеется ровно (п-1)/2 транспозиций. Любая подстановка g. из SF(X).представима в виде произведения транспозиций. В частности, каждая П. из Sn есть произведение транспозиций. П. может разлагаться в произведение транспозиций многими способами. Однако для данной g. характер четности числа множителей в разложении на транспозиции не зависит от способа разложения. П., представимая в виде произведения четного числа транспозиций, наз. четной, а разлагающаяся в произведение нечетного числа транспозиций - нечетной. В Sn имеется n!/2 четных П. и столько же нечетных. Если П. [img: http://localhost:8080/file/041721-77.jpg] записана в виде (*), то ее четность совпадает с четностью числа инверсий перестановки i1,..., in к-рое равно числу таких пар {ik, ij}, что k<j, ik>ij. Транспозиция, очевидно, есть нечетная II. Применение одной транспозиции к любой перестановке меняет четность числа ее инверсий на противоположную. Произведение двух четных, а также двух нечетных П. ость четная П., а четной и нечетной П. (в любом порядке) - нечетная. Все четные П. составляют нормальную подгруппу (X).в группе SF(X), к-рая наз. знакопеременной. При |Х|= п подгруппа (X).обозначается А п. Циклом длины lназ. такая подстановка а конечного множества Y={y1,..., у l], что [img: http://localhost:8080/file/041721-78.jpg] Конечный цикл обозначается (y1, y2,..., yl). Бесконечным циклом наз. такая П. счетного множества [img: http://localhost:8080/file/041721-79.jpg] что для любого целого i s(yi)=yi+1 Обозначение бесконечного цикла таково: [img: http://localhost:8080/file/041721-80.jpg] Цикл длины 2 есть транспозиция. Группа Sn содержит (п-1)! циклов длины п. Для любой подстановки g из S(X).существует такое разбиение множества X на непересекающиеся подмножества, что на каждом из них g действует как цикл. Конечные подмножества этого разбиения имеют вид [img: http://localhost:8080/file/041721-81.jpg] где gl(x}=x, а бесконечные - [img: http://localhost:8080/file/041721-82.jpg] где [img: http://localhost:8080/file/041721-83.jpg] при [img: http://localhost:8080/file/041721-84.jpg]. Циклы, индуцируемые подстановкой Y на подмножествах разбиения, наз. независимыми циклами подстановки g. Например, (1, 3, 4) и (2, 5)- независимые циклы П. [img: http://localhost:8080/file/041721-85.jpg] g записывается в виде [img: http://localhost:8080/file/041721-86.jpg] и является произведением своих независимых циклов. Вообще, если g нетождественная П., имеющая лишь конечное число циклов неединичной длины, то g - произведение таких циклов. В частности, каждая нетождественная П. из SF(X).является произведением своих независимых циклов неединичной длины. Порядок подстановки g из SF(X), т. е. порядок циклич. группы <g>, равен наименьшему общему кратному длин ее независимых циклов. Из независимых циклов данной П. можно получить независимые циклы П., сопряженной с ней. Напр., если [img: http://localhost:8080/file/041721-87.jpg] произведение независимых циклов подстановки g из Sn, а [img: http://localhost:8080/file/041721-88.jpg] и d(а i)=bi, i=l,..., п, то [img: http://localhost:8080/file/041721-89.jpg] - разложение подстановки [img: http://localhost:8080/file/041721-90.jpg] в произведение независимых циклов. Две П. группы Sn тогда и только тогда сопряжены в Sn, когда они имеют одно и то же число независимых циклов каждой длины. Пусть [img: http://localhost:8080/file/041721-91.jpg], k - число независимых циклов подстановки s, включая и циклы длины 1. Тогда разность п-kназ. декрементом подстановки s. Наименьшее число множителей при разложении подстановки s в произведение транспозиций совпадает с ее декрементом. Четность П. совпадает с четностью ее декремента. П. возникли впервые в комбинаторике 18 в. В кон. 18 в. Ж. Лагранж (J. Lagrange) применил их при исследовании разрешимости алгебраич. уравнении в радикалах. О. Коши (A. Cauchy) посвятил многочисленные исследования этому понятию. Ему, в частности, принадлежит идея разложения П. в произведение циклов. Исследования групповых свойств П. восходит к Н. Абелю (N. Abel) и особенно к Э. Галуа (Е. Galois). См. Галуа теория, Подстановок группа.