В математике теория конечных групп, группа перестановок 3-го ранга действует транзитивно на множество, так что стабилизатор точки имеет 3 орбиты. Изучение этих групп было начато Хигманом (1964, 1971). Некоторые из спорадических простых групп были обнаружены как группы перестановок 3-го ранга.
Все примитивные группы перестановок ранга 3 относятся к одному из следующих классов:
Если G - любая 4-транзитивная группа, действующая на множестве S, то ее действие на парах элементов S - это группа перестановок ранга 3. В частности, большинство альтернирующих групп, симметрических групп и групп Матье имеют 4-транзитивные действия, поэтому их можно превратить в группы перестановок 3-го ранга.
Проективная общая линейная группа, действующая на прямых в проективном пространстве размерности не менее 3, является группой перестановок ранга 3.
Несколько 3-транспозиционных групп являются группами перестановок 3-го ранга (в действии на транспозиции).
Обычно точечный стабилизатор группы перестановок ранга 3, действующий на одной из орбит, является группой перестановок ранга 3. Это дает несколько "цепочек" групп перестановок ранга 3, таких как цепь Сузуки и цепь, заканчивающаяся группами Фишера.
Некоторые необычные группы перестановок ранга 3 (многие из (Liebeck Saxl 1986)) перечислены ниже.
Для каждой строки в таблице ниже в сетке в столбце с пометкой «размер» число слева от знака равенства представляет собой степень группы перестановок для группы перестановок, упомянутой в строке. В сетке сумма справа от знака равенства показывает длины трех орбит стабилизатора точки группы перестановок. Например, выражение 15 = 1 + 6 + 8 в первой строке таблицы под заголовком означает, что группа перестановок для первой строки имеет степень 15, а длины трех орбит стабилизатора точки перестановки группы составляют 1, 6 и 8 соответственно.
Группа | Стабилизатор точки | размер | Комментарии |
---|---|---|---|
A6= L 2 (9) = Sp 4 (2) '= M 10' | S4 | 15 = 1 + 6 + 8 | Пары точек или наборы из 3 блоков по 2 в представлении перестановки из 6 точек; два класса |
A9 | L2(8):3 | 120 = 1 + 56 + 63 | Проективная линия P 1 (8); два класса |
A10 | (A5×A5):4 | 126 = 1 + 25 + 100 | Наборы из 2 блоков по 5 в естественном представлении перестановок из 10 точек |
L2(8) | 7: 2 = Dih (7) | 36 = 1 + 14 + 21 | Пары точек в P 1 (8) |
L3(4) | A6 | 56 = 1 + 10 + 45 | Гиперовалы в P 2 (4); три класса |
L4(3) | PSp4(3):2 | 117 = 1 + 36 + 80 | Симплектические полярности P 3 (3); два класса |
G2(2) '= U 3 (3) | PSL 3 (2) | 36 = 1 + 14 + 21 | Цепочка Сузуки |
U3(5) | A7 | 50 = 1 + 7 + 42 | Действие на вершинах графа Хоффмана-Синглтона ; три класса |
U4(3) | L3(4) | 162 = 1 + 56 + 105 | Два класса |
Sp6(2) | G2(2) = U 3 (3): 2 | 120 = 1 + 56 + 63 | Группа Шевалле типа G 2, действующая на алгебру октонионов над GF (2) |
Ω7(3) | G2(3) | 1080 = 1 + 351 + 728 | Группа Шевалле типа G 2, действующая на мнимые октонионы алгебры октонионов над GF (3); два класса |
U6(2) | U4(3): 2 2 | 1408 = 1 + 567 + 840 | Стабилизатор точки - это изображение линейного представления, полученное в результате «разрушения» комплекса представление группы Митчелла (комплексной группы отражений) по модулю 2; три класса |
M11 | M9: 2 = 3: SD 16 | 55 = 1 + 18 + 36 | Пары точек в 11-точечном представлении перестановки |
M12 | M10: 2 = A 6.2 = PΓL (2,9) | 66 = 1 + 20 + 45 | Пары точек или пары дополнительных блоков S (5,6,12) в 12-точечное перестановочное представление; два класса |
M22 | 2: A 6 | 77 = 1 + 16 + 60 | Блоки S (3,6,22) |
J2 | U3(3) | 100 = 1+ 36 + 63 | цепь Сузуки ; действие на вершинах графа Холла-Янко |
группа Хигмана-Симса HS | M22 | 100 = 1 + 22 + 77 | Действие на вершинах графа Хигмана- График Симса |
M22 | A7 | 176 = 1 + 70 + 105 | Два класса |
M23 | M21: 2 = L 3 (4): 2 2 = PΣL (3, 4) | 253 = 1 + 42 + 210 | Пары точек в представлении с перестановкой 23 точек |
M23 | 2: A 7 | 253 = 1 + 112 + 140 | Блоки S (4,7,23) |
Группа Маклафлина McL | U4(3) | 275 = 1 + 112 + 162 | Действие на вершинах графа Маклафлина |
M24 | M22:2 | 276 = 1 + 44 + 231 | Пары точек в 24-точечном представлении перестановок |
G2(3) | U3(3): 2 | 351 = 1 + 126 + 244 | Два класса |
G2(4) | J2 | 416 = 1 + 100 + 315 | Цепь Сузуки |
M24 | M12:2 | 1288 = 1 + 495 + 792 | Пары дополнительных додекад в 24-точечном представлении перестановок |
группа Сузуки Suz | G2(4) | 1782 = 1 + 416 + 1365 | цепочка Сузуки |
G2( 4) | U3(4): 2 | 2016 = 1 + 975 + 1040 | |
Co2 | PSU 6 (2): 2 | 2300 = 1 + 891 +1408 | |
Группа Рудвалис Ру | ²F₄ (2) | 4060 = 1 + 1755 + 2304 | |
Fi22 | 2.PSU 6 (2) | 3510 = 1 + 693 + 2816 | 3-транспонирование |
Fi22 | Ω7( 3) | 14080 = 1 + 3159 + 10920 | Два класса |
Fi23 | 2.Fi22 | 31671 = 1 + 3510 + 28160 | 3-перестановки |
G2(8).3 | SU3(8).6 | 130816 = 1 + 32319 + 98496 | |
Fi23 | PΩ8(3).S 3 | 137632 = 1 + 28431 + 109200 | |
Fi24 ' | Fi23 | 306936 = 1 + 31671 + 275264 | 3 -транспозиции |