СИММЕТРИЧЕСКАЯ ГРУППА

Значение СИММЕТРИЧЕСКАЯ ГРУППА в математической энциклопедии:

группа всех подстановок (биекций) нек-рого множества Xс операцией суперпозиции (см. Подстановок группа). С. г. подстановок множества Xобозначается S(X). Для равномощных Xи X' группы S(X).и S (X^').подобны. В случае конечного множества X={1,2, . . ., n} С. г. обозначается S_n. Всякая абстрактная группа изоморфна подходящей подгруппе симметрич. группы S(X).нек-рого множества X(теорема Кэли).

Пусть множество Xконечно. Всякая подстановка p на Xоднозначно записывается в виде произведения независимых или взаимно простых циклов (цикловая запись подстановки); числовой вектор

z(p) =(a₁, а ₂, ..., а _n).

где а _i - число циклов длины i в цикловой записи подстановки p, наз. цикловым типом подстановки p. Две подстановки p и p' сопряжены в группе S_n тогда и только тогда, когда они имеют один и тот же цикловой тип. Подстановки с цикловым типом

{ п-2, 2, 0,..., 0}

наз. транспозициями; их совокупность является системой образующих группы S_n. Множество транспозиций S={(i, i+1)|i=l, . . ., n-1} является минимальной системой образующих (базой) для S_n. Вообще, множество образует базу для S_n, если граф с Xв качестве множества вершин и с парами (i_k, j_k) в качестве ребер является деревом[2]. Число таких баз равно n^n-2.

Знакопеременная группа А _n - нормальный делитель в группе S_n, причем если , то А _n - единственный нетривиальный собственный нормальный делитель, а S₄ содержит еще один нетривиальный нормальный делитель - четверную группу Клейна: K₄={1, (1 2), (3 4), (1 3), (2 4), (1 4), (2 3)}. При группа S_n разрешима, а при неразрешима и А _n - простая неабелева группа. Теорема Гёльдера: при группа S_n совершенна (см. Совершенная группа). Группа S₂ коммутативна, а группа S₆, обладает внешним автоморфизмом порядка 2.

Известны все максимальные интранзитивные и импримитивные подгруппы в S_n. Для всякого разбиения , максимальными интранзитивными в S_n будут все подгруппы S_m1+S_m2 и только они. Транзитивными импрмитивными максимальными подгруппами в S_n будут сплетения S_m1 с S_m2 (для всякого разложения n=m₁m₂) и только они. Примитивные максимальные подгруппы в S_n не описаны (1983), но известны нек-рые их бесконечные серии. Напр., группа S_n естественным образом действует на множестве всех подмножеств мощности тмножества конечной мощности n; при тем самым определяется примитивная группа подстановок множества . Она максимальна в , если ( т, п)(2, 6), (2, 8), (3, 10), (4, 12), ( т, 2т),( т,2m+1) (см. [1]). Другая серия (см. [6]) получается при рассмотрении группы Г L_n(GF(q)). полулинейных преобразований пространств G(F(q)).над конечным полем из qэлементов. Эта группа определяет примитивную группу подстановок Грассмана многообразия G_n,m(GF(q)), , к-рая максимальна в S (G_n,m(GF(q)).при .

Пусть X - бесконечное множество. Группа всех подстановок множества X, перемещающих лишь конечное число элементов из X, наз. финитной, или ограниченной симметрической, группой множества Xи обозначается SF(X), а ее подгруппа, состоящая из всех четных подстановок, наз. финитной, или ограниченной знакопеременной, группой множества Xи обозначается AF(X). Подгруппы SF(X).и АF(X).- нормальные делители в S(X). Более общо, пусть a - мощность множества Xи - нек-рое бесконечное кардинальное число; совокупность всех подстановок множества X, перемещающих не более чем b элементов множества X, является подгруппой в S(X), обозначаемой S_b (X). Наряду с SF(X).и AF(X).группы S_b (X) - нормальные делители в S(X).для всех , и других нетривиальных нормальных делителей у S(X).нет (теорема Шрейера - Улама - Бэра, см. [3]).

Лит.:[1] Калужнин Л. А., Клин М. X., "Матем. сб.", 1972, т. 87, № 1, с. 91-121; [2] Оре О., Теория графов, пер. с англ., 2 изд., М., 1980; [З] Плоткин Б. И., Группы автоморфизмов алгебраических систем, М., 1966; [4] Устименко-Бакумовский В. А., "Докл. АН СССР", 1978, т. 240, № 6, с. 1305-08. См. также лит. при ст. Подстановок группа. Л. А. Калужнин.