stringtranslate.com

Группа Матье М23

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

   2 7  · 3 2  ··· 11  · 23 = 10200960
≈ 1 × 10 7 .

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

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

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

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

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

Пусть F 2 11конечное поле с 2 11 элементами. Его группа единиц имеет порядок 2 11 − 1 = 2047 = 23 · 89, поэтому она имеет циклическую подгруппу C порядка 23.

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

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

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

M 23 имеет 2 различных действия ранга 3 на 253 точки. Одно — это действие на неупорядоченные пары с размерами орбит 1+42+210 и точечным стабилизатором M 21 .2, а другое — это действие на гептады с размерами орбит 1+112+140 и точечным стабилизатором 2 4 .A 7 .

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

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

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

Существует 7 классов сопряженности максимальных подгрупп M 23 , а именно:

Стабилизатор блока W 23
Одноточечный стабилизатор секстетной группы

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

Ссылки

Внешние ссылки