On the invariant subgroups of prime index. (Q1500906)

Eine beliebige endliche Gruppe \(G\) besitzt \(\frac{p^\lambda-1}{p-1}\) invariante Untergruppen vom Primzahlindex \(p\). Ist \(G\) eine Gruppe vertauschbarer Operationen, so ist \(\lambda\) gleich der Anzahl der Invarianten einer \textit{Sylow}schen Untergruppe der Ordnung \(p^m\), die in \(G\) enthalten ist. Ist \(G\) eine nichtabelsche Gruppe, so ist die Bestimmung der Zahl \(\lambda\) mit Schwierigkeiten verknüpft, ihr Wert kann jedenfalls nicht den Wert von \(\lambda\) für eine \textit{Sylow}sche Untergruppe der Ordnung \(p^m\), die in \(G\) enthalten ist, übersteigen. Daher ist vor allem die Bestimmung des \(\lambda\) für Gruppen von Primzahlpotenzordnung \(p^m\) wichtig. Eine solche ist für \(\lambda=1\) zyklisch, für \(\lambda=m\) die \textit{Abel}sche Gruppe des Typus \((1,1,1,\dots,1)\). Der Fall \(\lambda=m-1\) umfaßt die \textit{Hamilton}schen Gruppen und ist vom Verf. in Math. Ann. \textit{60}, 597 (Referat nachstehend JFM 36.0203.01)) behandelt worden. Der vorliegende Aufsatz behandelt die Gruppen der Ordnung \(p^m\) mit \(\lambda=m-2\). Für die Behandlung dieser Gruppen kommt das auch an sich interessante Theorem zur Anwendung: ``Ist die Kommutatorgruppe einer Gruppe der Ordnung \(p^m\) von der Ordnung \(p\), so ist jedes der Elemente, die alle Untergruppen des Index \(p\) gemeinsam haben, ein ausgezeichnetes Element der ganzen Gruppe.''