Группа перестановок ранга 3

Группа перестановок ранга 3 действует транзитивно на множестве так, что стабилизатор точки имеет 3 орбиты[1]. Изучение этих групп начал Дональд Хигман[2][3]. Некоторые спорадические простые группы были открыты как группы перестановок ранга 3.

Классификация

Примитивные группы перестановок ранга 3 распадаются на следующие классы:

Камерон[4] классифицировал группы, такие, что $T\times T\leqslant G\leqslant T_{0}\operatorname {wr} Z/2Z$ , где цоколь T группы T₀ прост, а T₀ является 2-транзитивной группой степени ${\sqrt {n}}$ .
Либек[5] классифицировал группы с регулярными элементарными абелевыми нормальными подгруппами
Баннай[6] классифицировал группы, цоколь которых является простой знакопеременной группой
Кантор[7] классифицировал группы, цоколь которых является простой классической группой
Либек и Саксл[8] классифицировали группы, цоколь которых является простой классической исключительной или спорадической группой

Пример

Если G — любая 4-транзитивная группа, действующая на множестве S, то её действие на пары элементов S является группой перестановок ранга 3[9]. В частности, большинство знакопеременных групп, симметрических групп и групп Матьё имеют 4-транзитивные действия, а потому принадлежат группам перестановок ранга 3.

Проективная полная линейная группа, действующая на прямые в проективном пространстве размерности как минимум 3, является группой перестановок ранга 3.

Некоторые группы 3-перестановок являются группами перестановок ранга 3 (по действию на перестановки).

Как правило, точечный стабилизатор группы перестановок ранга 3, действующий на одну из орбит, является группой перестановок ранга 3. Это даёт некоторые «цепочки» групп перестановок ранга 3, такие как цепочка Судзуки и цепочка, завершающаяся группами Фишера.

Некоторые необычные группы перестановок ранга 3 перечислены ниже (многие из них взяты из работы Либека и Саксла[8]).

Для каждой строки таблицы ниже, в столбце «размер» число слева от знака равно показателю группы перестановок[10] перестановочной группы для группы перестановок, упомянутой в строке. Сумма справа от знака равно показывает длину трёх орбит стабилизаторов точки группы перестановок. Например, выражение 15 = 1+6+8 в первой строке таблицы означает, что группа перестановок имеет показатель 15 и длины трёх орбит стабилизаторов точки группы перестановок равны 1, 6 и 8 соответственно.

Группа	Стабилизатор точки	размер	Комментарии
$\mathrm {A} _{6}=\mathrm {L} _{2}(9)=$ $\mathrm {Sp} _{4}(2)^{\prime }=\mathrm {M} _{1}0^{\prime }$	$\mathrm {S} _{4}$	15 = 1+6+8	Пары точек или множества из 3 блоков по 2 в 6-точечном представлением перестановок; два класса
$\mathrm {A} _{9}$	$\mathrm {L} _{2}(8):3$	120 = 1+56+63	Проективная прямая P₁(8); два класса
$\mathrm {A} _{10}$	$(\mathrm {A} _{5}\times \mathrm {A} _{5}):4$	126 = 1+25+100	Множество 2 блоков из 5 в естественном 10-точечном представлении перестановок
$\mathrm {L} _{2}(8)$	$7:2=\mathrm {Dih} (7)$	36 = 1+14+21	Пары точек в P₁(8)
$\mathrm {L} _{3}(4)$	$\mathrm {A} _{6}$	56 = 1+10+45	Гиперовалы в P₂(4); три класса
$\mathrm {L} _{4}(3)$	$\mathrm {PSp} _{4}(3):2$	117 = 1+36+80	Симплектические полярности P₃(3); два класса
$\mathrm {G} _{2}(2)^{\prime }=\mathrm {U} _{3}(3)$	$\mathrm {PSL} _{3}(2)$	36 = 1+14+21	цепочка Судзуки
$\mathrm {U} _{3}(5)$	$\mathrm {A} _{7}$	50 = 1+7+42	Действие на вершины графа Хоффмана — Синглтона; три класса
$\mathrm {U} _{4}(3)$	$\mathrm {L} _{3}(4)$	162 = 1+56+105	Два класса
$\mathrm {Sp} _{6}(2)$	$\mathrm {G} _{2}(2)=\mathrm {U} _{3}(3):2$	120 = 1+56+63	Группа Шевалле типа G₂, действующая на алгебру октонионов над GF(2)
$\mathrm {\Omega } _{7}(3)$	$\mathrm {G} _{2}(3)$	1080 = 1+351+728	Группа Шевалле типа G₂, действующая на мнимые октонионы алгебры октонионов над GF(3); два класса
$\mathrm {U} _{6}(2)$	$\mathrm {U} _{4}(3):2_{2}$	1408 = 1+567+840	Стабилизатор точки является образом линейного представления, получающегося от «понижения» комплексного представления группы Митчела (комплексной группы отражений) по модулю 2; три класса
M₁₁	$\mathrm {M} _{9}:2=3^{2}:\mathrm {SD} _{16}$	55 = 1+18+36	Пары точек в 11-точечном представлении перестановок
M₁₂	$\mathrm {M} _{10}:2=\mathrm {A} _{6}.2^{2}=$ $\mathrm {P{\Gamma }L} (2,9)$	66 = 1+20+45	Пары точек или пары комплементарных блоков S(5,6,12) в 12-точечном представлении перестановок; два класса
M₂₂	2⁴:A₆	77 = 1+16+60	Блоки S(3,6,22)
J₂	$\mathrm {U} _{3}(3)$	100 = 1+36+63	цепочка Судзуки; действие на вершины графа Холла — Янко
Группа Хигмана — Симса HS	M₂₂	100 = 1+22+77	Действие на вершины графа Хигмана — Симса
M₂₂	$\mathrm {A} _{7}$	176 = 1+70+105	Два класса
M₂₃	$\mathrm {M} _{21}:$ $2=\mathrm {L} _{3}(4):2_{2}$ $=\mathrm {P{\Sigma }L} (3,4)$	253 = 1+42+210	Пары точек в 23-точечном представлении перестановок
M₂₃	$2^{4}:\mathrm {A} _{7}$	253 = 1+112+140	Блоки S(4,7,23)
Группа МакЛафлина McL	$\mathrm {U} _{4}(3)$	275 = 1+112+162	Действие на вершины графа МакЛафлина
M₂₄	$\mathrm {M} _{22}:2$	276 = 1+44+231	Пары точек в 24-точечном представлении перестановок
G₂(3)	$\mathrm {U} _{3}(3):2$	351 = 1+126+244	Два класса
G₂(4)	J₂	416 = 1+100+315	цепочка Судзуки
M₂₄	$\mathrm {M} _{12}:2$	1288 = 1+495+792	Пары комплементарных 12-точечных множеств в 24-точечном представлении перестановок
Группа Судзуки Suz	$\mathrm {G} _{2}(4)$	1782 = 1+416+1365	цепочка Судзуки
G₂(4)	$\mathrm {U} _{3}(4):2$	2016 = 1+975+1040
Co₂	$\mathrm {PSU} _{6}(2):2$	2300 = 1+891+1408
Группа Рудвалиса Ru	²F₄(2)	4060 = 1+1755+2304
Fi₂₂	$2.\mathrm {PSU} _{6}(2)$	3510 = 1+693+2816	3-перестановки
Fi₂₂	$\mathrm {\Omega } _{7}(3)$	14080 = 1+3159+10920	Два класса
Fi₂₃	2.Fi₂₂	31671 = 1+3510+28160	3-перестановки
$\mathrm {G} _{2}(8).3$	$\mathrm {SU} _{3}(8).6$	130816 = 1+32319+98496
Fi₂₃	$\mathrm {P\Omega } _{8}^{+}(3).\mathrm {S} _{3}$	137632 = 1+28431+109200
Fi₂₄ '	Fi₂₃	306936 = 1+31671+275264	3-перестановки

Примечания

Не следует путать с группой 3-перестановок, которая представляет перестановки трёх элементов. На русском языке названия групп почти совпадают, на английском языке первая называется rank 3 permutation group, вторая — 3-transposition group.
Higman, 1964.
Higman, 1971.
Cameron, 1981.
Liebeck, 1987.
Bannai, 1971–72.
Kantor, Liebler, 1982.
Liebeck, Saxl, 1986.
. Тремя орбитами являются: сама фиксированная пара; пары, имеющие общий элемент с фиксированной парой; пары, не имеющие общих элементов с фиксированной парой.
Когда обсуждается группа перестановок на множестве из n элементов, показатель группы — это число элементов в множестве, т.е. n. Не следует путать с порядком группы. Если G является группой общего вида, пусть $\delta (G)$ означает наименьшее $n\in \mathbb {N}$ , такое, что G изоморфна подгруппе симметрической группы S. Число $\delta (G)$ называется показателем группы G (Berkovich 1999). См. также Группа перестановок.

Литература

Eiichi Bannai. Maximal subgroups of low rank of finite symmetric and alternating groups // Journal of the Faculty of Science. University of Tokyo. Section IA. Mathematics. — 1971–72. — Т. 18. — С. 475–486. — ISSN 0040-8980.
Brouwer A. E., Cohen A. M., Neumaier A. Distance-regular graphs. — Berlin, New York: Springer-Verlag, 1989. — Т. 18. — (Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]). — ISBN 978-3-540-50619-5.
Peter J. Cameron. Finite permutation groups and finite simple groups // The Bulletin of the London Mathematical Society. — 1981. — Т. 13, вып. 1. — С. 1–22. — ISSN 0024-6093. — doi:10.1112/blms/13.1.1.
Donald G. Higman. Finite permutation groups of rank 3 // Mathematische Zeitschrift. — 1964. — Т. 86. — С. 145–156. — ISSN 0025-5874. — doi:10.1007/BF01111335.
Donald G. Higman. A survey of some questions and results about rank 3 permutation groups // Actes du Congrès International des Mathématiciens (Nice, 1970). — Gauthier-Villars, 1971. — Т. 1. — С. 361–365. Архивная копия от 25 ноября 2017 на Wayback Machine
William M. Kantor, Robert A. Liebler. The rank 3 permutation representations of the finite classical groups // Transactions of the American Mathematical Society. — 1982. — Т. 271, вып. 1. — С. 1–71. — ISSN 0002-9947. — doi:10.2307/1998750.
Martin W. Liebeck. The affine permutation groups of rank three // Proceedings of the London Mathematical Society. — 1987. — Т. 54, вып. 3. — С. 477–516. — ISSN 0024-6115. — doi:10.1112/plms/s3-54.3.477.
Martin W. Liebeck, Jan Saxl. The finite primitive permutation groups of rank three // The Bulletin of the London Mathematical Society. — 1986. — Т. 18, вып. 2. — С. 165–172. — ISSN 0024-6093. — doi:10.1112/blms/18.2.165.
Yakov Berkovich. The Degree and Index of a Finite Group // Journal of Algebra. — 1999. — Т. 214,. — С. 740-761. (недоступная ссылка)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Не следует путать с группой 3-перестановок, которая представляет перестановки трёх элементов. На русском языке названия групп почти совпадают, на английском языке первая называется rank 3 permutation group, вторая — 3-transposition group.

[_0d4b721f66634031-2] Higman, 1964.

[_794978de7fecf7e3-3] Higman, 1971.

[_9c9eb647b42d8715-4] Cameron, 1981.

[_b433a339a85f1a43-5] Liebeck, 1987.

[_5adf858112cea822-6] Bannai, 1971–72.

[_ab3dcb4931c236bd-7] Kantor, Liebler, 1982.

[_b164a74bb848ad06-8] Liebeck, Saxl, 1986.

[9] . Тремя орбитами являются: сама фиксированная пара; пары, имеющие общий элемент с фиксированной парой; пары, не имеющие общих элементов с фиксированной парой.

[10] Когда обсуждается группа перестановок на множестве из n элементов, показатель группы — это число элементов в множестве, т.е. n. Не следует путать с порядком группы. Если G является группой общего вида, пусть $\delta (G)$ означает наименьшее $n\in \mathbb {N}$ , такое, что G изоморфна подгруппе симметрической группы S. Число $\delta (G)$ называется показателем группы G (Berkovich 1999). См. также Группа перестановок.