Группа Матье М22 - Mathieu group M22

В области современной алгебры, известной как теория групп, то Группа Матье M22 это спорадическая простая группа из порядок

   27 · 32 ··· 11 = 443520
≈ 4×105.

История и свойства

M22 является одной из 26 спорадических групп и была введена Матье  (1861, 1873 ). Это 3-кратный переходный группа перестановок по 22 объектам. В Множитель Шура из M22 является циклическим порядка 12, а группа внешних автоморфизмов имеет порядок 2.

В математической литературе есть несколько неверных утверждений о 2-х частях множителя Шура. Бургойн и Фонг (1966) неверно утверждал, что множитель Шура M22 имеет порядок 3, а в исправлении Бургойн и Фонг (1968) неверно утверждал, что в нем порядок 6. Это вызвало ошибку в названии статьи. Янко (1976) объявляя об открытии Янко группа J4. Мазет (1979) показал, что множитель Шура на самом деле является циклическим порядка 12.

Адем и Милгрэм (1995) вычислил 2-часть всех когомологий M22.

Представления

M22 имеет 3-транзитивное перестановочное представление в 22 точках, с точечным стабилизатором группа PSL3(4), иногда называемый M21. Это действие устраняет Система Штейнера S (3,6,22) с 77 гексадами, полная группа автоморфизмов которых является группой автоморфизмов M22.2 из M22.

M22 имеет три представления перестановок ранга 3: один на 77 шестиугольниках со стабилизатором точки 24: А6, и два действия ранга 3 на 176 гептадах, сопряженных относительно внешнего автоморфизма и имеющих точечный стабилизатор A7.

M22 точечный стабилизатор действия M23 на 23 точки, а также точечный стабилизатор действие 3 ранга из Группа Хигмана – Симса на 100 = 1 + 22 + 77 очков.

Тройная обложка 3.M22 имеет 6-мерное точное представление над полем из 4 элементов.

6-кратная обложка M22 появляется в центраторе 21+12.3. (M22: 2) инволюции Янко группа J4.

Максимальные подгруппы

Нет собственных подгрупп, транзитивных по всем 22 точкам. Всего существует 8 классов сопряженности максимальных подгрупп группы M22 следующее:

  • PSL (3,4) или M21, заказ 20160: стабилизатор одноточечный
  • 24: А6, порядок 5760, орбиты 6 и 16
Стабилизатор Вт22 блокировать
  • А7, порядок 2520, орбиты 7 и 15
Имеется 2 набора простых подгрупп порядка 168 по 15 в каждом. Подгруппы одного типа имеют орбиты 1, 7 и 14; остальные имеют орбиты 7, 8 и 7.
  • А7, орбиты 7 и 15
Сопряжение с предыдущим типом в M22:2.
  • 24: S5, порядок 1920, орбиты 2 и 20 (5 блоков по 4)
2-х точечный стабилизатор в группе секстета
  • 23: PSL (3,2), порядок 1344, орбиты 8 и 14
  • M10, порядок 720, орбиты 10 и 12 (2 блока по 6)
Одноточечный стабилизатор M11 (точка на орбите 11)
Неразделенный расширение группы формы A6.2
  • PSL (2,11), порядок 660, орбиты 11 и 11
Еще один одноточечный стабилизатор М11 (точка на орбите 12)

Классы сопряженности

Существует 12 классов сопряженности, хотя два класса элементов порядка 11 сливаются под действием внешнего автоморфизма.

ЗаказКол-во элементовСтруктура цикла
1 = 11122
2 = 21155 = 3 · 5 · 7 · 111628
3 = 312320 = 25 · 5 · 7 · 111436
4 = 2213860 = 22 · 32 · 5 · 7 · 11122244
27720 = 23 · 32 · 5 · 7 · 11122244
5 = 588704 = 27 · 32 · 7 · 111254
6 = 2 · 336960 = 25 · 3 · 5 · 7 · 11223262
7 = 763360= 27 · 32 · 5 · 111 73Эквивалент мощности
63360= 27 · 32 · 5 · 111 73
8 = 2355440 = 24 · 32 · 5 · 7 · 112·4·82
11 = 1140320 = 27 · 32 · 5 · 7112Эквивалент мощности
40320 = 27 · 32 · 5 · 7112

Смотрите также

Рекомендации

внешняя ссылка