Über einige Kriterien der Nichteinfachheit der Gruppen. (Q2585877)

Ohne Anwendung der Theorie der Charaktere wird bewiesen: I. Wenn der Komplex \(\mathfrak M\) genau \(h\) zu ihm konjugierte besitzt und \(\mathfrak G=\sum\limits_{i=0}^{f}\mathfrak HG_i\) die Zerlegung in Linksrestklassen nach der Untergruppe \(\mathfrak H\) mit dem in \(\mathfrak H\) invarianten Komplex \(\mathfrak N\) ist, so liegt \(\mathfrak M\) in genau \(kf/h\) Teilmengen des Systems \(G_1\mathfrak NG_1^{-1}\), \(G_2\mathfrak NG_2^{-1}\),\dots , \(G_f\mathfrak NG_f^{-1}\). Dabei ist \(k\) die Anzahl der zu \(\mathfrak M\) konjugierten und in \(\mathfrak N\) enthaltenen Komplexe. II. Im Spezialfall von I: \(\mathfrak M\leqq \mathfrak N=\mathfrak H\), \((h, f)=1\), folgt, daß \(\mathfrak G\) einen Normalteiler von endlichem und durch \(f\) teilbarem Index besitzt, der \(\mathfrak M\) enthält. \(\mathfrak G\) sei eine endliche Gruppe mit einer Untergruppe \(\mathfrak H\) vom Index \(f\), die ein Element \(A\) mit der Ordnung \(p^\alpha (\alpha >0)\) besitzt, so daß der Index \(N_A:N_A\cap\mathfrak H\) nicht durch die Primzahl \(p\) teilbar ist, ferner keine Potenz von \(A\) zu einem von ihr verschiedenen Element aus \(\mathfrak H\) unter \(\mathfrak G\) konjugiert ist und \(A\) nicht in der Kommutatorgruppe von \(\mathfrak H\) liegt. Dann ist \(f\) nicht durch \(p\) teilbar, und \(\mathfrak G\) besitzt einen Normalteiler mit \(p\)-Potenzindex \(> 1\). Aus I und einem Satz von \textit{Tchounikhin} (Math. Ann., Berlin, 112 (1935), 92-94; (JFM 61.1015.*), Satz II) folgen einige Sätze, die \textit{Turkin} (Rec. math., Moscou, (2) 3 (1938), 407-412 (JFM 64.0058.*), Satz II und III) durch Anwendung der Charaktere monomialer Darstellungen bewiesen hatte.