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

редактировать

В математике теория конечных групп, группа перестановок 3-го ранга действует транзитивно на множество, так что стабилизатор точки имеет 3 орбиты. Изучение этих групп было начато Хигманом (1964, 1971). Некоторые из спорадических простых групп были обнаружены как группы перестановок 3-го ранга.

Содержание

  • 1 Классификация
  • 2 Примеры
  • 3 Примечания
  • 4 Ссылки

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

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

  • Кэмерон (1981) классифицировал такие, что T × T ≤ G ≤ T 0 wr ⁡ Z / 2 Z {\ displaystyle T \ times T \ leq G \ leq T_ {0} \ operatorname { wr} Z / 2Z}T \ times T \ leq G \ leq T_ {0} \ operatorname {wr} Z / 2Z где цоколь T из T 0 простой, а T 0 - это 2-транзитивная группа степень √n.
  • Либек (1987) классифицировал тех, у кого есть регулярная элементарная абелева нормальная подгруппа
  • Баннай (1971–72) классифицировал тех, чей цоколь является простой знакопеременной группой
  • Кантор Либлер (1982) классифицировал группы, цоколь которых является простой классической группой
  • Liebeck Saxl (1986) классифицировал группы, цоколь которых представляет собой простую исключительную или спорадическую группу.

Примеры

Если 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'S415 = 1 + 6 + 8Пары точек или наборы из 3 блоков по 2 в представлении перестановки из 6 точек; два класса
A9L2(8):3120 = 1 + 56 + 63Проективная линия P 1 (8); два класса
A10(A5×A5):4126 = 1 + 25 + 100Наборы из 2 блоков по 5 в естественном представлении перестановок из 10 точек
L2(8)7: 2 = Dih (7)36 = 1 + 14 + 21Пары точек в P 1 (8)
L3(4)A656 = 1 + 10 + 45Гиперовалы в P 2 (4); три класса
L4(3)PSp4(3):2117 = 1 + 36 + 80Симплектические полярности P 3 (3); два класса
G2(2) '= U 3 (3)PSL 3 (2)36 = 1 + 14 + 21Цепочка Сузуки
U3(5)A750 = 1 + 7 + 42Действие на вершинах графа Хоффмана-Синглтона ; три класса
U4(3)L3(4)162 = 1 + 56 + 105Два класса
Sp6(2)G2(2) = U 3 (3): 2120 = 1 + 56 + 63Группа Шевалле типа G 2, действующая на алгебру октонионов над GF (2)
Ω7(3)G2(3)1080 = 1 + 351 + 728Группа Шевалле типа G 2, действующая на мнимые октонионы алгебры октонионов над GF (3); два класса
U6(2)U4(3): 2 21408 = 1 + 567 + 840Стабилизатор точки - это изображение линейного представления, полученное в результате «разрушения» комплекса представление группы Митчелла (комплексной группы отражений) по модулю 2; три класса
M11 M9: 2 = 3: SD 1655 = 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 677 = 1 + 16 + 60Блоки S (3,6,22)
J2 U3(3)100 = 1+ 36 + 63цепь Сузуки ; действие на вершинах графа Холла-Янко
группа Хигмана-Симса HS M22 100 = 1 + 22 + 77Действие на вершинах графа Хигмана- График Симса
M22 A7176 = 1 + 70 + 105Два класса
M23 M21: 2 = L 3 (4): 2 2 = PΣL (3, 4)253 = 1 + 42 + 210Пары точек в представлении с перестановкой 23 точек
M23 2: A 7253 = 1 + 112 + 140Блоки S (4,7,23)
Группа Маклафлина McL U4(3)275 = 1 + 112 + 162Действие на вершинах графа Маклафлина
M24 M22:2276 = 1 + 44 + 231Пары точек в 24-точечном представлении перестановок
G2(3)U3(3): 2351 = 1 + 126 + 244Два класса
G2(4)J2 416 = 1 + 100 + 315Цепь Сузуки
M24 M12:21288 = 1 + 495 + 792Пары дополнительных додекад в 24-точечном представлении перестановок
группа Сузуки Suz G2(4)1782 = 1 + 416 + 1365цепочка Сузуки
G2( 4)U3(4): 22016 = 1 + 975 + 1040
Co2 PSU 6 (2): 22300 = 1 + 891 +1408
Группа Рудвалис Ру ²F₄ (2) 4060 = 1 + 1755 + 2304
Fi22 2.PSU 6 (2)3510 = 1 + 693 + 28163-транспонирование
Fi22 Ω7( 3)14080 = 1 + 3159 + 10920Два класса
Fi23 2.Fi22 31671 = 1 + 3510 + 281603-перестановки
G2(8).3SU3(8).6130816 = 1 + 32319 + 98496
Fi23 PΩ8(3).S 3137632 = 1 + 28431 + 109200
Fi24 'Fi23 306936 = 1 + 31671 + 2752643 -транспозиции

Примечания

Ссылки

Последняя правка сделана 2021-06-03 08:19:08
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте