Sous-groupe normal maximal
From Wikipedia, the free encyclopedia
En théorie des groupes, on appelle sous-groupe normal maximal, ou encore sous-groupe distingué maximal, d'un groupe G tout élément maximal de l'ensemble des sous-groupes normaux propres de G, cet ensemble étant ordonné par inclusion[1]. (On entendra ici par « sous-groupe propre de G » un sous-groupe de G distinct de G.) Autrement dit, un sous-groupe normal maximal de G est un sous-groupe normal propre H de G tel qu'aucun sous-groupe normal de G ne soit strictement compris entre H et G.