Determination of all the groups of order \(2^m\) which contain an odd number of cyclic subgroups of composite order. (Q1500903)

In jeder nichtzyklischen Gruppe der Ordnung \(p^m\) (\(p\) ungerade Primzahl) ist die Anzahl zyklischer Untergruppen der Ordnung \(p^\beta\) für \(\beta>1\) ein Vielfaches von \(p\) und für \(\beta=1\) gleich \(1+p+kp^2\). (Zu vgl. \textit{G. A. Miller}, Lond. M. S. Proc. (2) \textit{2}, 142-143; F. d. M. \textit{35}, 163, 1904, JFM 35.0163.02.) Der vorliegende Aufsatz behandelt den Fall \(p=2\), bei dem die Verhältnisse anders liegen. ``Jede nichtzyklische Gruppe der Ordnung \(2^m\), \(m>3\), die eine ungerade Anzahl zyklischer Untergruppen der Ordnung 4 enthält, enthält genau eine zyklische Untergruppe der Ordnung \(2^\alpha\), wobei \(\alpha\) alle Werte von 3 bis \(m-1\) besitzen kann; jede Gruppe, die nur eine zyklische Untergruppe der Ordnung \(2^\alpha\) enthält, besitzt eine ungerade Anzahl zyklischer Untergruppen der Ordnung 4. Für jeden Wert von \(\alpha\) und \(m\) gibt es drei solcher Gruppen; daher existiert ein doppelt unendliches System von Gruppen der Ordnung \(2^m\), die eine ungerade Anzahl zyklischer Untergruppen zusammengesetzter Ordnung enthalten.''