Groupes contenant plusieurs opérations de l'ordre deuxième. (Q1500909)

Sind, abgesehen von der Identität, alle Elemente einer Gruppe von der Ordnung 2, so ist die Gruppe eine \textit{Abel}sche vom Typus \((1,1, \dots, 1)\). In jeder anderen Gruppe ist wenigstens der vierte Teil der Elemente von höherer als 2ter Ordnung. Ist genau der vierte Teil der Gruppenelemente von höherer als 2ter Ordnung, so ist die Gruppe das direkte Produkt der oktischen Gruppe (\textit{Pierpont}, Annals of Math. (2) \textit{1}, 140; F. d. M. \textit{31}, 95, 1900, JFM 31.0095.05 -- man versteht hierunter eine Untergruppe der Ordnung 8 der symmetrischen Gruppe von 4 Symbolen -- ) in eine \textit{Abel}sche Gruppe der Ordnung \(2^\alpha\) vom Typus \((1,1,\dots,1)\). Ist genau die Hälfte der Gruppenelemente von höherer als 2ter Ordnung, so ist die Gruppe von der Ordnung \(2h\) (\(h\) ungerade) und enthält eine \textit{Abel}sche Untergruppe der Ordnung \(h\). In einer nichtabelschen Gruppe der Ordnung \(2^m\), bei der weniger als die Hälfte der Operationen von höherer als 2ter Ordnung ist, muß\ die Anzahl der Elemente von höherer als 2ter Ordnung stets gleich \(\frac {2^\alpha-1}{2^{\alpha+1}} \cdot g\) sein, wobei \(g\) die Gruppenordnung bedeutet. Die Beschaffenheit der Gruppe im Fall \(\alpha=1\) ist oben erwähnt worden.