Говорят, что группа почти проста, если она содержит неабелеву простую группу и содержится в группе автоморфизмов этой простой группы. В символьной записи группа A почти проста, если существует простая группа S, такая, что [1].
Примеры
- Тривиально, неабелевы простые группы и полные группы автоморфизмов почти просты, но существуют примеры почти простых групп, не являющихся ни простыми, ни полными группами автоморфизмов.
- Для или симметрическая группа является группой автоморфизмов простой знакопеременной группы так что является почти простой в этом тривиальном смысле.
- Для существует чистый пример, так как находится чисто между простой группой и вследствие исключительных внешних автоморфизмов[англ.] группы . Две другие группы, группа Матьё и проективная полная линейная группа , также находятся чисто между и
Свойства
Группа автоморфизмов неабелевой простой группы является полной группой (отображение смежных классов является изоморфизмом в группу автоморфизмов), но собственная подгруппа полной группы автоморфизмов не обязательно полна.
Структура
Согласно гипотезе Шрайера[англ.], ныне повсеместно принятой как следствие классификации простых конечных групп, группа внешних автоморфизмов[англ.] конечной простой группы является разрешимой группой[2]. Таким образом, конечная простая группа является расширяемой разрешимой группы по простой группе.
См. также
Примечания
Литература
Ссылки