On the use of the co-sets of a group. (Q1482906)

In dieser beschäftigt sich der Verf. mit der von \textit{Frobenius} (J. für Math. 101, 273) eingeführten Einteilung der Elemente einer endlichen Gruppe \(G\) in Teilkomplexe unter Zugrundelegung eines aus zwei Untergruppen von \(G\) bestehenden Doppelmoduls. Er benutzt diese Einteilungsmethode zur Untersuchung der Transitivitätseigenschaften der mit \(G\) isomorphen Permutationsgruppen und ihrer Untergruppen. Insbesondere wird der folgende interessante Satz bewiesen: Eine abstrakte Gruppe \(G\) möge zwei Untergruppen \(H\) und \(H'\) besitzen, von denen jede keine von der Einheitsgruppe verschiedene invariante Untergruppe von \(G\) enthält; die diesen Untergruppen entsprechenden, mit \(G\) isomorphen transitiven Permutationsgruppen seien \(P\) und \(P'\). Dann enthält die mit \(H'\) isomorphe Untergruppe \(K'\) von \(P\) ebensoviele Systeme der Transitivität wie die mit \(H\) isomorphe Untergruppe \(K\) von \(P'\). Sind ferner \(n_1^{'},n_2^{'},\dots,n_m^{'}\), bzw. \(n_1,n_2,\dots,n_m\) die Grade der Transitivitätssysteme bei den beiden Gruppen \(K'\) und \(K\), so ist \[ n_1^{'}:n_2^{'}:\cdots:n_m^{'}=n_1:n_2:\cdots:n_m. \] Dieser Satz läßt sich auch auf den Fall ausdehnen, wo \(H\) und \(H'\) invariante Untergruppen von \(G\) enthalten.