Groupe presque simple

En mathématiques, un groupe presque simple est un groupe $G$ contenant un groupe simple non abélien $S$ et contenu dans le groupe $\operatorname {Aut} {\left(S\right)}$ des automorphismes de ce groupe simple, ce qui s'écrit formellement :

S\leq G\leq \operatorname {Aut} {\left(S\right)}

.

Ces deux inclusions de sous-groupes sont à comprendre au sens suivant^[1] :

S est un sous-groupe normal de G (ce qui se note $S\trianglelefteq G$ ) ;
l'action par conjugaison de G sur S est fidèle, autrement dit : le morphisme canonique $G\to \operatorname {Aut} {\left(S\right)}$ est injectif, ce qui revient à dire que le centralisateur de S dans G est trivial.

Exemples[modifier | modifier le code]

Les groupes simples non abéliens et leurs groupes d'automorphismes sont presque simples de façon triviale.
Pour $n=5$ ou $n\geq 7$ , le groupe alterné $A_{n}$ est simple et non abélien, et le morphisme canonique du groupe symétrique $S_{n}$ dans $\operatorname {Aut} {\left(A_{n}\right)}$ est bijectif. Pour ces valeurs de $n$ , $S_{n}$ est donc presque simple au sens trivial ci-dessus.
$S_{6}$ est strictement compris entre le groupe simple $A_{6}$ et $\operatorname {Aut} {\left(A_{6}\right)}$ — en raison de l'automorphisme extérieur exceptionnel de $A_{6}$ — et fournit donc un premier exemple non trivial de groupe presque simple. Deux autres groupes, le groupe simplement 3-transitif $M_{10}$ et le groupe projectif linéaire $\operatorname {PGL} _{2}{\left(\mathbb {F} _{9}\right)}$ , sont aussi strictement compris entre $A_{6}$ et $\operatorname {Aut} {\left(A_{6}\right)}$ .

Propriétés[modifier | modifier le code]

Le groupe des automorphismes d'un groupe simple non abélien est un groupe complet, mais les sous-groupes propres du groupe des automorphismes ne sont pas nécessairement complets.

Structure[modifier | modifier le code]

Par la conjecture de Schreier, maintenant reconnue comme un corollaire de la classification des groupes finis simples, le groupe des automorphisme extérieurs d'un groupe fini simple est résoluble. Tout groupe fini presque simple est donc une extension d'un groupe résoluble par un groupe simple.

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Almost simple group » (voir la liste des auteurs).

↑ (en) « Almost simple group », sur Group Properties wiki.

Articles connexes[modifier | modifier le code]

Portail de l’algèbre

[1] (en) « Almost simple group », sur Group Properties wiki.

[1]