An extension of a theorem of Remak. (Q2590364)

\(G\) sei eine Gruppe und \(\varOmega\) eine Menge von eigentlichen Automorphismen von \(G\), die mindestens alle inneren Automorphismen von \(G\) enthält. Für bezüglich \(\varOmega\) zulässige Untergruppen von \(G\) gelte die Minimalbedingung. Dann ist das Erzeugnis \(S\) aller minimalen zulässigen Untergruppen direktes Produkt endlich vieler minimaler zulässiger Untergruppen. Nach bekannten Methoden folgt dann die bekannte Eindeutigkeitsaussage über die direkten Produktzerlegungen von \(S\). \(M\) sei eine minimale zulässige Untergruppe. Ist \(M\) nicht abelsch, und gilt für die Normalteiler von \(M\) die Minimalbedingung, so ist \(M\) eindeutig darstellbar als direktes Produkt einfacher Gruppen, die ein vollständiges System bezüglich \(\varOmega\) konjugierter bilden.