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