Exercice 16, § 4

Si l’ensemble des sous-groupes stables d’un groupe à opérateurs G satisfait aux conditions maximale et minimale (I, p. 125, exerc. 15), G possède une suite de Jordan-Hölder (considérer, pour un sous-groupe H de G, un élément maximal de l’ensemble des sous-groupes stables distingués de H, distincts de H).