Die Gruppen mit quadratfreier Ordnungszahl. (Q1524648)

Aus den zahlentheoretischen Eigenschaften der Ordnung einer Gruppe kann manchmal auf den Charakter der Gruppe geschlossen werden. So erkennt man in verschiedenen Fällen die Zusammengesetztheit oder die Auflösbarkeit einer Gruppe an der Ordnung. Den ersten Satz in dieser Richtung hat Sylow aufgestellt. Nach diesem Satz ist jede Gruppe auflösbar, deren Ordnungszahl die Form hat \[ p_1^{k_1} p_2^{k_2}\dots p_r^{k_r}, \] wobei \(p_1\), \(p_2\), ..., \(p_r\) ungleiche Primzahlen bedeuten, und \[ p_i > p_{i+1}^{k_{i+1}} p_{i+2}^{k_{i+2}} \dots p_r^{k_r} \] vorausgesetzt wird. Insbesondere ist eine Gruppe auflösbar, wenn ihre Ordnung Potenz einer Primzahl ist. Ein sehr specieller Satz ist später vom Verf. gezeigt worden, des Inhalts, dass jede Gruppe auflösbar ist, deren Ordnungszahl nur aus drei Primzahlen besteht. Im Anschluss hieran ist von Hrn. Frobenius (Berl. Ber. 1893, I. 337, JFM 25.0202.01) bemerkt worden, dass dasselbe gilt, wenn die Ordnungszahl aus vier Primzahlen besteht, aber von 60 verschieden ist. Hr. Frobenius hat zugleich ein allgemeineres Resultat gewonnen, indem er bewiesen hat, dass jede Gruppe auflösbar ist, deren Ordnung durch Multiplication von beliebig vielen, aber ungleichen Primzahlen entsteht. Mit Hülfe dieses Ergebnisses von Frobenius ist es dem Verf. jetzt gelungen, für die Ordnungen der zuletzt erwähnten Art, also für solche, die durch kein Quadrat teilbar sind, alle existirenden Gruppen zu bestimmen. Dabei hat sich das überraschende Resultat ergeben, dass alle diese Gruppen durch metacyklische Buchstabenvertauschungen dargestellt werden können, somit von bekannter Form sind. Durch frühere Untersuchungen der Herren Netto, Young, Cole und Glover und vom Verf. sind die Gruppen der Ordnungen \(p^2\), \(p^3\), \(p^4\), \(pq\), \(pq^2\), \(pqr\) aufgestellt worden, wobei mit \(p\), \(q\), \(r\) Primzahlen bezeichnet sein sollen (vergl. Levavasseur, S. 166, JFM 26.0166.02). Die vorliegende Arbeit erledigt also Reihen von Ordnungszahlen.