Einige Bemerkungen zur Theorie der unendlichen Gruppen. (Q2590370)

Zuerst wird gezeigt, daß es unendliche \(p\)-Gruppen ohne Zentrum gibt. Eine solche \(p\)-Gruppe, in der also jedes Element als Ordnung eine Potenz von \(p\) hat, wird z. B. erzeugt aus einer Folge \(P_1,\,P_2,\,\ldots,\, P_n,\,\ldots\) von Permutationen der natürlichen Zahlen, in der \(P_n\) die bei \(p\)-adischer Darstellung in antilexikographischer Reihenfolge aufgeschriebenen Zahlen von 0 bis \(p^n - 1\) zyklisch vertauscht, z. B. \(P_2 = (036147258)\) für \(p = 3\). In \(\mathfrak P_n = \{P_1,\ldots, P_n\}\) wird \(\mathfrak P_{n-1}\) durch \(P_n\) völlig transformiert, also das Zentrum von \(\mathfrak P_n\) fremd zu \(\mathfrak P_{n-1}\) für alle \(n\) und darum \(\mathfrak P = \sum\mathfrak P_n\) zentrumsfrei. -- Ob es einfache \(p\)-Gruppen gibt, bleibt damit noch offen. Ferner wird zum \textit{Prüfer}schen Satz (Math. Z. 17 (1923), 35-61; F. d. M. 49, 84 (JFM 49.0084.*)), daß eine abzählbare Abelsche Gruppe mit lauter Elementen endlicher Ordnung und Höhe ein (unabgeschlossenes) direktes Produkt zyklischer Gruppen ist, und seinem Gegenbeispiel im Fall einer Gruppe von Kontinuumsmächtigkeit, zu dem \textit{Ulm} (Math. Z. 40 (1935), 205-207; F. d. M. \(61_{\text{I}}\), 105) ein einfacheres für die erste unabzählbare Mächtigkeit lieferte, ein neues einfaches mit kontinuierlich vielen Elementen gebildet: Die Elemente seien (einfacher als bei Verf. ausgedrückt) Folgen \(r_1,\, r_2,\,\ldots\) von Brüchen mod 1 und Komponentenaddition mod 1 die Gruppenoperation. Die Gruppe \(\mathfrak G\) werde jetzt gebildet aus den Elementen, die einen Generalnenner besitzen, und deren \(n\)-te Komponente \(r_n\) einen in \(p^n\) aufgehenden Nenner hat. Erste Bedingung liefert endliche Elementeordnung, zweite endliche Höhe und, daß nur endlich viel direkte zyklische Faktoren fester Ordnung auftreten können. Schließlich wird gezeigt, daß \(2^{\mathfrak m}\) die Anzahl aller nichtisomorphen (direkt unzerlegbaren) Gruppen einer unendlichen Mächtigkeit \(\mathfrak m\) ist.