stringtranslate.com

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

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

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

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

Примеры

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

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

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

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

Ниже перечислены некоторые необычные группы перестановок ранга 3 (многие из (Liebeck & Saxl 1986)).

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

Примечания

  1. ^ Три орбиты: сама фиксированная пара; пары, имеющие один общий элемент с фиксированной парой; и пары, не имеющие ни одного общего элемента с фиксированной парой.

Ссылки