stringtranslate.com

Группа сиськи

В теории групп группа Титса 2 F 4 ( 2)′, названная в честь Жака Титса ( фр. [tits] ), представляет собой конечную простую группу порядка

   2 11  · 3 3  · 5 2  · 13 = 17 971 200.

Это единственная простая группа, которая является производной группы типа Ли , не являющейся группой типа Ли ни в одной серии из исключительных изоморфизмов. Иногда ее считают 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 классов максимальных подгрупп группы Титса:

Презентация

Группа Титса может быть определена в терминах генераторов и отношений следующим образом:

где [ ab ] — коммутатор a −1 b −1 ab . Он имеет внешний автоморфизм , полученный путем отправки ( ab ) в ( ab ( ba ) 5 b ( ba ) 5 ).

Примечания

  1. ^ Например, с помощью АТЛАСА конечных групп и его веб-версии

Ссылки

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