В теории групп группа Титса 2 F 4 ( 2)′, названная в честь Жака Титса ( фр. [tits] ), представляет собой конечную простую группу порядка
Это единственная простая группа, которая является производной группы типа Ли , не являющейся группой типа Ли ни в одной серии из исключительных изоморфизмов. Иногда ее считают 27-й спорадической группой .
Группы Ри 2 F 4 (2 2 n +1 ) были построены Ри (1961), который показал, что они просты, если n ≥ 1. Первый член 2 F 4 (2) этого ряда не является простым. Он был изучен Жаком Титсом (1964), который показал, что он почти прост , его производная подгруппа 2 F 4 (2)′ индекса 2 является новой простой группой, теперь называемой группой Титса. Группа 2 F 4 (2) является группой типа Ли и имеет пару BN , но сама группа Титса не имеет пары BN. Группа Титса является членом бесконечного семейства 2 F 4 (2 2 n +1 )′ коммутационных групп групп Ри и, таким образом, по определению, не является спорадической. Но поскольку она также не является строго группой типа Ли, ее иногда рассматривают как 27-ю спорадическую группу . [1]
Множитель Шура группы Титса тривиален, а его внешняя группа автоморфизмов имеет порядок 2, при этом полная группа автоморфизмов представляет собой группу 2 F 4 (2).
Группа Титса встречается как максимальная подгруппа группы Фишера Fi 22 . Группа 2 F 4 (2) также встречается как максимальная подгруппа группы Рудвалиса как стабилизатор точки действия перестановки ранга 3 на 4060 = 1 + 1755 + 2304 точках.
Группа Титса является одной из простых N-групп и была упущена из виду в первом объявлении Джона Г. Томпсона о классификации простых N -групп, поскольку в то время она не была открыта. Она также является одной из тонких конечных групп .
Группа Титсов была охарактеризована по-разному Парротом (1972, 1973) и Стротом (1980).
Уилсон (1984) и Чакерян (1986) независимо друг от друга нашли 8 классов максимальных подгрупп группы Титса:
Группа Титса может быть определена в терминах генераторов и отношений следующим образом:
где [ a , b ] — коммутатор a −1 b −1 ab . Он имеет внешний автоморфизм , полученный путем отправки ( a , b ) в ( a , b ( ba ) 5 b ( ba ) 5 ).