An extension of a theorem of Kulakoff. (Q2595612)

Zur Ergänzung des in der vorstehenden Besprechung erwähnten \textit{Kulakoff-Hall}schen Satzes über \(p\)-Gruppen ungerader Ordnung beweist der Verf. folgenden Satz über 2-Gruppen: Die Sylowgruppen der Ordnung \(2^l\) von \(\mathfrak G\) mögen keinem der vier unten erwähnten \textit{Ausnahmetypen} angehören; dann ist die Anzahl der in \(\mathfrak G\) enthaltenen Untergruppen der Ordnung \(2^k\) \(n_k\equiv 3\) (\(\text{mod}\, 4\)) für \(0< k<l\); die Anzahl der zyklischen Untergruppen der Ordnung \(2^k\) und die Anzahl derjenigen Untergruppen der Ordnung \(2^k\), die unter die Ausnahmetypen fallen, sind für \(1 < k < l\) gerade. Die vier Ausnahmetypen der Ordnung \(2^k\) sind: (1) Die zyklische Gruppe; (2) die Diedergruppe, erzeugt durch \(A\) und \(B\) mit \(A^{2^{k-1}} = B^2 =1\), \(B^{-1}AB=A^{-1}\) (\(k\geqq3\)); (3) die verallgemeinerte Quaternionengruppe: \(A^{2^{k-1}}=1\), \(B^2=A^{2^{k-2}}\), \(B^{-1}AB=A^{-1}\) (\(k\geqq3\)); (4) die ``gemischte'' Gruppe: \(A^{2^{k-1}}=B^2=1\), \(B^{-1}AB=A^{-1+2^{k-2}}\) (\(k \geqq 4\)). Für beliebiges \(p\) wird bewiesen: Hat der maximale Durchschnitt zweier \(p\)-Sylowgruppen von \(\mathfrak G\) die Ordnung \(p^k\), so ist die Anzahl der Untergruppen der Ordnung \(p^r\), die in \(\mathfrak G\), aber nicht in einer vorgegebenen \(p\)-Sylowgruppe von \(\mathfrak G\) liegen, für \(r\leqq k\) durch \(p^{l-k+1}\) teilbar, und für alle \(r< l\) durch \(p^2\).