On the holomorph of a cyclic group. (Q1505031)

Hat man eine Gruppe \(n\)-ter Ordnung als reguläre Permutationsgruppe \(G\) in \(n\) Symbolen dargestellt, so bilden diejenigen aller möglichen \(n!\). Permutationen derselben Symbole, die mit der Gruppe \(G\) vertauschbar sind, ebenfalls eine Gruppe; sie heißt die holomorphe Gruppe von \(G\) und sei mit \(K\) bezeichnet. (\textit{Frobenius}, Berl. Ber. 1895, 184; \textit{W. Burnside}, Theory of groups of finite order, Cambridge 1897, 226ff.) Die Untersuchung der Gruppe \(K\) einer zyklischen Gruppe ist bereits von \textit{W. Burnside} (a. a. O. 241) begonnen und von \textit{G. A. Miller} (Quarterly Journ. \(31\), 382, 1900) weitergeführt worden. Ist die Ordnung der zyklischen Gruppe \(G\) ungerade, so ist \(K\) eine vollkommene Gruppe, deren Kommutatorgruppe \(G\) ist. Hat \(G\) eine gerade Ordnungszahl, die \(> 2\) ist, so ist \(K\) nie vollkommen, und seine Kommutatorgruppe ist die Untergruppe von \(G\), die inbezug auf \(G\) den Index 2 hat. Verf. bestimmt weitere Eigenschaften von \(K\), falls \(G\) cyklisch ist, und zwar vorzüglich die Ordnungen aller Elemente von \(K\), sowie einige Eigenschaften der Isomorphismengruppe von \(K\). Durch die Betrachtung der Isomorphismengruppe von \(G\) ergibt sich dem Verf. das verallgemeinerte \textit{Fermat}sche Theorem (\(a^{\varphi(g)} \equiv 1\)\,(mod.\,\(g\))).