Спорадическая группа Титса¶
Спорадическая группа Титса — одна из 26 спорадических простых групп конечного типа, открытая бельгийским математиком Жаком Титсом в 1972 году. Обозначается символом \( {}^{2}F_{4}(2)' \) или \( T \). Является единственной спорадической группой, которая не является подгруппой группы Monster, и обладает уникальными свойствами, связанными с исключительной группой лиева типа \( F_4 \).
¶История открытия
Группа была обнаружена Титсом при изучении исключительной группы лиева типа \( {}^{2}F_{4}(2) \), которая относится к скрученным группам Шевалле. Оказалось, что эта группа не является простой: её коммутант (производная подгруппа) имеет индекс 2 и сам является простой группой. Именно этот коммутант и получил название спорадической группы Титса. Открытие было опубликовано в 1972 году в статье, посвящённой классификации конечных простых групп. Позднее группа была включена в полный список спорадических групп, завершённый в 1980-х годах.
¶Основные свойства
Порядок группы Титса вычисляется по формуле:
\[ |T| = 2^{11} \cdot 3^{3} \cdot 5^{2} \cdot 13 = 17\,971\,200. \]
Группа является простой, то есть не содержит нетривиальных нормальных подгрупп. Её внешняя группа автоморфизмов имеет порядок 2, что означает существование расширения \( {}^{2}F_{4}(2) \), в котором группа Титса является подгруппой индекса 2.
¶Представления
Минимальное точное комплексное представление группы Титса имеет размерность 26. Это представление связано с её действием на 26-мерном модуле, который возникает из алгебры Ли типа \( F_4 \). Кроме того, группа допускает перестановочное представление степени 1756, что является наименьшей степенью транзитивного действия.
¶Классы сопряжённости
Группа Титса содержит 15 классов сопряжённости элементов. Максимальные подгруппы были полностью классифицированы; среди них выделяются подгруппы, изоморфные \( L_{3}(3) \), \( 2^{2} \cdot L_{3}(3) \), \( L_{2}(25) \), \( 2^{2} \cdot L_{2}(13) \), а также некоторые другие локальные подгруппы.
¶Связь с другими группами
Группа Титса тесно связана с исключительной группой \( F_4 \) и её скрученным аналогом \( {}^{2}F_{4}(2) \). Она также является секционной подгруппой некоторых других спорадических групп, например, группы Харады \( F_{5} \) и группы Томпсона \( Th \). Однако, в отличие от большинства спорадических групп, она не входит в «счастливую семью» групп, связанных с Monster, и поэтому иногда классифицируется как «одиночная» спорадическая группа.
¶Значение в классификации
Спорадическая группа Титса играет важную роль в теореме о классификации конечных простых групп. Её существование было предсказано на основе структурной теории групп лиева типа, а её свойства подтвердили гипотезы о связи между группами лиева типа и спорадическими группами. Изучение группы Титса способствовало развитию методов вычисления характеров и модулярных представлений конечных групп.
¶Интересные факты
- Группа Титса является одной из двух спорадических групп (вместе с группой Йонко \( J_4 \)), которые были открыты не как подгруппы Monster.
- Её порядок делится на 13, что довольно редко среди спорадических групп.
- Группа допускает действие на графе с 1756 вершинами, который используется для изучения её подгрупповой структуры.