Матье группа М23 - Mathieu group M23

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

   27 · 32 ··· 11 · 23 = 10200960
≈ 1×107.

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

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

Милгрэм (2000) вычислили интегральные когомологии и, в частности, показали, что M23 обладает необычным свойством: все первые четыре группы целочисленных гомологий обращаются в нуль.

В обратная задача Галуа кажется нерешенным для M23. Другими словами, кажется, что ни один многочлен от Z [x] не имеет M23 как его группа Галуа. Обратная задача Галуа решена для всех остальных спорадических простых групп.

Построение с использованием конечных полей

Позволять F211 - конечное поле с 211 элементы. В своей группе подразделений порядок 211 - 1 = 2047 = 23 · 89, поэтому в нем есть циклическая подгруппа C порядка 23.

Группа Матье M23 можно отождествить с группой F2-линейные автоморфизмы F211 что стабилизирует C. Точнее, действие этой группы автоморфизмов на C можно отождествить с 4-кратным транзитивным действием M23 на 23 объектах.

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

M23 точечный стабилизатор действия Матье группа М24 на 24 точках, давая ему 4-транзитивное перестановочное представление на 23 точках со стабилизатором точки Группа Матье М22.

M23 имеет 2 разных действия 3-го ранга на 253 балла. Один - действие на неупорядоченные пары с размерами орбит 1 + 42 + 210 и точечный стабилизатор M21.2, а другой - действие на гептады с размерами орбит 1 + 112 + 140 и точечным стабилизатором 2.4.A7.

Интегральное представление, соответствующее действию перестановки на 23 точках, распадается на тривиальное представление и 22-мерное представление. 22-мерное представление неприводимо над любым полем характеристики, отличной от 2 или 23.

Над полем порядка 2 оно имеет 2 11-мерных представления, ограничения соответствующих представлений Матье группа М24.

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

Всего существует 7 классов сопряженности максимальных подгрупп группы M23 следующее:

  • M22, заказ 443520
  • PSL (3,4): 2, порядок 40320, орбиты 21 и 2
  • 24: А7, порядок 40320, орбиты 7 и 16
Стабилизатор Вт23 блокировать
  • А8, порядок 20160, орбиты 8 и 15
  • M11, порядок 7920, орбиты 11 и 12
  • (24: А5): S3 или M20: S3, порядок 5760, орбиты 3 и 20 (5 блоков по 4)
Одноточечный стабилизатор группы секстета
  • 23:11, порядок 253, просто переходный

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

ЗаказКол-во элементовСтруктура цикла
1 = 11123
2 = 23795 = 3 · 5 · 11 · 231728
3 = 356672 = 25 · 7 · 11 · 231536
4 = 22318780 = 22 · 32 · 5 · 7 · 11 · 23132244
5 = 5680064 = 27 · 3 · 7 · 11 · 231354
6 = 2 · 3850080 = 25 · 3 · 5 · 7 · 11 · 231·223262
7 = 7728640 = 26 · 32 · 5 · 11 · 231273эквивалент мощности
728640 = 26 · 32 · 5 · 11 · 231273
8 = 231275120 = 24 · 32 · 5 · 7 · 11 · 231·2·4·82
11 = 11927360= 27 · 32 · 5 · 7 · 231·112эквивалент мощности
927360= 27 · 32 · 5 · 7 · 231·112
14 = 2 · 7728640= 26 · 32 · 5 · 11 · 232·7·14эквивалент мощности
728640= 26 · 32 · 5 · 11 · 232·7·14
15 = 3 · 5680064= 27 · 3 · 7 · 11 · 233·5·15эквивалент мощности
680064= 27 · 3 · 7 · 11 · 233·5·15
23 = 23443520= 27 · 32 · 5 · 7 · 1123эквивалент мощности
443520= 27 · 32 · 5 · 7 · 1123

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

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