Über einen Fundamentalsatz der Gruppentheorie. (Q1505000)

Der neue \textit{Frobenius}sche Fundamentalsatz der Gruppentheorie ist der folgende: I. Die Anzahl der Elemente einer Gruppe, deren \(n\)-te Potenzen gleich einem Element \(A\) der Gruppe sind, ist durch den größten gemeinsamen Divisor von \(n\) und \(g\) teilbar, wenn \(g\) die Anzahl der mit \(A\) vertauschbaren Gruppenelemente ist. Nicht wesentlich verschiedene andere Formen dieses Satzes sind, wie Verf. zeigt: Ia. Ist \(A\) ein invariantes Gruppenelement und \(n\) ein Divisor der Gruppenordnung, so ist die Anzahl der Gruppenelemente, deren \(n\)-te Potenzen gleich \(A\) sind, ein Vielfaches von \(n\). II. Bilden die Elemente \(A, B, C, \dots\) einen invarianten Komplex in einer Gruppe der Ordnung \(h\), so ist die Anzahl der Gruppenelemente, die einer der Gleichungen \(X_n=A\) oder \(B\) oder \(C\dots\) genügen, durch den größten gemeinsamen Divisor von \(n\) und \(h\) teilbar. IIa. Ist \(n\) ein Divisor der Ordnung einer Gruppe, worin die Elemente \(A, B, C, \dots\) einen invarianten Komplex bilden, so ist die Anzahl der Elemente, deren \(n\)-te Potenzen in dem fraglichen invarianten Komplexe enthalten sind, ein Vielfaches von \(n\). Ein Komplex von Elementen einer Gruppe heißt ein invarianter, wenn er mit jedem Gruppenelemente vertauschbar ist. Ia. und IIa. sind offenbar besondere Fälle von I. und II. Verf. beweist von den verschiedenen Fassungen des Satzes I. die Form IIa., die sich als die geeignetste erweist, auf Grund eines Induktionsschlusses mittelst der folgenden zwei Hülfssätze: ``Ist die Ordnung eines Gruppenelements \(A\) durch jede in \(n\) aufgehende Primzahl teilbar, so ist die Anzahl der Gruppenelemente, deren \(n\)-te Potenz gleich \(A\) ist, ein Vielfaches von \(n\)'', und ``eine kommutative Gruppe, deren Ordnung durch die Primzahl \(p\) teilbar ist, enthält ein Element der Ordnung \(p\)''. Durch den gegebenen einfachen Beweis wird auch der schon früher von \textit{Frobenius} (Verallgemeinerung des \textit{Sylow}schen Satzes, Berl. Ber. 1895, S. 440) aber umständlicher bewiesene Satz \(\text{I}'\text{a}.\), der aus Ia. folgt, wenn \(A\) gleich dem Einheitselemente \(E\) gesetzt wird, von neuem hergeleitet. Bei \(\text{I}'\text{a}.\) haben wir es, weil ja die Gleichung \(X^n=E\) stets durch \(X=E\) befriedigt wird, mit einem wirklichen Vielfachen von \(n\) zu tun, während in Ia. das Vielfache von \(n\) auch Null werden kann.