ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 05.12.2023
Просмотров: 120
Скачиваний: 1
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
Нетрудно показать, что любую подстановку можно представить в виде произведения транспозиций. Такое представление не единственно (например, в примерах выше
).Все подстановки подразделяются на 2 класса: чётные и нечётные.Если в матрице подстановки есть 2 столбца
, для которых
и
или
и
, то такая пара столбцов называется инверсией подстановки.Подстановка называется чётной или нечётной в зависимости от того, чётно или нечётно число инверсий в ней.Очевидно, что любая транспозиция является нечётной подстановкой: одна инверсия
нечётнаяТеорема. Если подстановка чётная, то при любом способе разложения её в произведение транспозиций число множителей (то есть транспозиций) чётно, а если нечётная — то число этих транспозиций нечётно.Следствие. Так как при перемножении чётных подстановок, очевидно, снова получается чётная подстановка, то множество всех чётных подстановок является подгруппой симметрической группы
и называется знакопеременной группой и обозначается
. Причём порядок
равен
.
состоит из одной подстановки:
.
состоит из
подстановок и т. д.
Пример. Подгруппа
симметрической группы
состоит из 3-х подстановок:Произведение двух нечётных подстановок, очевидно, есть чётная подстановка, поэтому нечётные подстановки не образуют группу.Порядок подстановки — это наименьшее целое положительное число
такое, что
.Пример. Докажем, что порядок подстановки
равен 5:Теорема. Порядок подстановки равен НОК длин всех её независимых циклов.Также нетрудно показать, что порядок цикла равен длине цикла.Пример. Определить, является ли подстановка чётной или нечётной и разложить её в произведение транспозиций:Сосчитаем число инверсий
. Инверсии — это пары столбцов , , , , , , . Поэтому (подстановка нечётная).Разложим её на циклы: Как видим, число транспозиций в произведении равно 5, то есть нечётно.Обратная операция: добавлена в середину только потому, что она равна . Другие подстановки (не равные ) в любое место добавлять нельзя, так как коммутативности нет.Порядок подстановки: . То есть . Проверим это.
Пример. Подгруппа