Ueber die Galois'sche Gruppe der Modulargleichungen, wenn der Transformationsgrad die Potenz einer Primzahl \(>2\) ist. (Q1541534)

Die betrachtete Gruppe \(G\) besteht aus den Substitutionen \[ S\equiv\frac{\alpha \omega +\beta}{\gamma \omega +\delta}\;(\bmod .\;q^n), \quad{}\alpha \delta -\beta \gamma \equiv 1(\bmod .\;q^n). \] Für \(n = 1\) hatte der Herr Verfasser sämtliche Untergruppen aufgestellt und hinsichtlich ihrer Gleichberechtigung klassificirt, (vgl. F. d. M. XIII. 1881, 119, JFM 13.0119.02) ; dasselbe Problem wird hier für Primzahlpotenzen durchgeführt. Bei der Behandlung erweist sich die Benutzung des Galois'schen Imaginären nicht nur als vorteilhaft, sondern sogar als notwendig, so dass also von vornherein neben die Definition der Gruppe in reeller eine andere in imaginärer Form tritt. Zunächst stellt sich eine, im allgemeinen umfassendste, ausgezeichnete Untergruppe \(E\) dar, welche alle Substitutionen von \(G\) enthält, die mod.\(q\) zur Identität congruent sind. Der Gruppe \(E\) tritt diejenige zur Seite, welche aus ihr durch Hinzunahme der Substitution \(\omega' \equiv \omega +1\) (mod. \(q^n\)) abgeleitet wird; sie ist keine ausgezeichnete Untergruppe von \(G\) mehr. Von \(E\) und \(F\) werden die Untergruppen aufgestellt und klassificirt; dann folgt eine Behandlung der nicht-cyklischen Untergruppen von \(G\), welche nicht in \(E\) oder \(F\) enthalten sind. Der Fall \(q = 3\), welcher eine Ausnahme bildet, wird zum Schlusse für sich behandelt.