Über die Struktur der endlichen Gruppen, deren echte Untergruppen sämtlich nilpotent sind. (Q2579703)

Bekanntlich nennt man eine Gruppe \(\mathfrak{G}\) nilpotent, wenn ihre aufsteigende Zentrenreihe mit \(\mathfrak{G}\) schließt. Mit Heranziehung von Sätzen des Ref. beweist Verf.: ``Jede endliche Gruppe \(\mathfrak{G}\), deren echte Untergruppen sämtlich nilpotent sind, ist auflösbar.'' Und: ``Wenn alle echten Untergruppen der endlichen Gruppe \(\mathfrak{G}\) nilpotent sind und die Ordnung von \(\mathfrak{G}\) durch mindestens drei verschiedene Primzahlen teilbar ist, so ist \(\mathfrak{G}\) nilpotent.'' Da jede abelsche oder hamiltonsche Gruppe nilpotent ist, folgt weiter: ``Wenn alle echten Untergruppen der endlichen Gruppe \(\mathfrak{G}\) abelsch bzw. hamiltonisch sind, so ist \(\mathfrak{G}\) selbst abelsch bzw. hamiltonisch, falls die Ordnung von \(\mathfrak{G}\) durch mindestens drei verschiedene Primzahlen teilbar ist.'' Auf Grund der Millerschen Resultate über Gruppen der Ordnung \(p^{\alpha}q^{\beta}\), \(p\), \(q\) Primzahlen, zeigt Verf. noch: ``Eine Gruppe \(\mathfrak{G}\) von der Ordnung \(p^{\alpha}q^{\beta}\) hat dann und nur dann lauter nilpotente echte Untergruppen und ist selbst nicht nilpotent, a) wenn eine Untergruppe, z. B. die \(q\)-Sylowgruppe \(\mathfrak{O}\) von \(\mathfrak{G}\), Normalteiler und die \(p\)-Sylowgruppe \(\mathfrak{P} = \{A\}\) zyklisch ist; b) wenn jede echte Untergruppe von \(\mathfrak{G}/\mathfrak{O}'\) abelsch, \(\mathfrak{G}/\mathfrak{O}'\) aber nicht abelsch ist, wobei \(\mathfrak{O}'=(\mathfrak{O}, \,\mathfrak{O})\) ist; c) wenn ferner die beiden Untergruppen \(\mathfrak{P} \mathfrak{O}'\) und \(\{A^k\} \,\mathfrak{O}\) nilpotent sind.