The group of classes of congruent matrices with application to the group of isomorphisms of any Abelian group. (Q1494846)

Diese Arbeit bedeutet einen wesentlichen Fortschritt für die Theorie der Gruppe \(\mathfrak A\) der Autormophismen einer beliebigen \textit{Abel}schen Gruppe \(\mathfrak G\). Bei dem Studium der Gruppe \(\mathfrak A\) kann man sich auf den Fall beschränken, daß\ die Ordnung von \(\mathfrak G\) eine Primzahlpotenz \(p^{m}\) ist. Die Gruppe \(\mathfrak A\) läßt sich alsdann, wenn die Anzahl der Basiselemente von \(\mathfrak G\) gleich \(n\) ist, als eine lineare homogene Gruppe \(n\) ten Grades mit ganzzahligen Koeffizienten \(l_{\kappa\lambda}\), die nach gewissen \(n^{2}\) Moduln \(p^{{a}_{\kappa\lambda}}\) betrachtet werden, darstellen. Nur dann, wenn alle Invarianten von \(\mathfrak G\) einander gleich sind, reduzieren sich die \(n^{2}\) Moduln \(p^{{a}_{\kappa\lambda}}\) auf einem Modul; man erhält in diesem Fall für \(\mathfrak A\) eine Kongruenzgruppe von der Art, wie sie zuerst \textit{Jordan} in seinem Traité des Substitutions studiert hat. Sind aber unter den Invarianten von \(\mathfrak G\) mindestens zwei voneinander verschieden, so wird man auf eine Kongruenzgruppe von allgemeinerem Charakter geführt. Im ersten Teil der Arbeit entwickelt der Verf. eine ausführliche Theorie der linearen homogenen Kongruenzgruppen für ein vorgeschriebenes System von \(n^{2}\) Moduln \(p^{{a}_{\kappa\lambda}}\). Soll sich für dieses Modulnsystem eine Komposition der Koeffizientenmatrizen in gewöhnlichem Sinne definieren lassen, so müssen die Exponenten \(a_{\kappa\lambda}\) den Bedingungen \(a_{\kappa\mu}+a_{\mu\lambda}\geqq a_{\kappa\lambda}\) genügen. Sind aber diese Bedingungen erfüllt, so kann man für das System der Moduln \(p^{{a}_{\kappa\lambda}}\) den Begriff der allgemeinen linearen homogenen Gruppe in ähnlicher Weise definieren, wie für den Fall eines Moduls. Um diese Gruppe zu erhalten, verstehe man unter \(\alpha_{\kappa\lambda}\) die größte unter den \(2n+1\) Zahlen \[ 0,a_{\kappa\mu}-a_{\lambda\mu},a_{\mu\lambda}- a_{\mu\kappa} \quad \quad \quad \quad (\mu=1,2,\dots,n) \] und betrachte alle ganzzahligen Matrizen \(n\)-ten Grades \(C=(p^{a}_{\kappa\lambda}c_{\kappa\lambda})\), deren Determinanten zu \(p\) teilerfremd sind. Sieht man dann zwei ganzzahlige Matrizen \((l_{\kappa\lambda})\) und \((l_{\kappa\lambda}')\) als nicht verschieden an, wenn \(l_{\kappa\lambda}\equiv l_{\kappa\lambda}'\) (mod. \(p^{{a}_{\kappa\lambda}}\)) ist, so bildet die Gesamtheit der Matrizen \(C\) eine endliche Gruppe im eigentlichen Sinne. Der Verf. bezeichnet diese Gruppe als die \textit{Hauptgruppe} für das System der Moduln \(p^{a_{\kappa\lambda}}\). Er gibt auch die Ordnung dieser Gruppe an und untersucht ihren gruppentheoretischen Aufbau. Mit Hülfe der gewonnenen allgemeinen Resultate gelingt es dem Verf. im zweiten Teil der Arbeit, die Automorphismengruppe \(\mathfrak A\) einer beliebigen \textit{Abel}schen Gruppe \(\mathfrak G\) der Primzahlpotenzordnung \(p^{m}\) zu bestimmen. Bezeichnet man die Invarianten von \(\mathfrak G\) mit \(p^{b_{1}},p^{b_{2}},\dots,p^{b_{n}}\), so läßt sich \(\mathfrak A\) als die Hauptgruppe für das System der \(n^{2}\) Moduln \(p^{{a}_{\kappa\lambda}}\) darstellen, wobei \(a_{\kappa\lambda}\) für jedes \(\kappa\) gleich \(b_{\lambda}\) zu setzen ist. Sind unter den \(n\) Zahlen \(b_{1},b_{2},\dots,b_{n}\) genau \(r\) voneinander verschieden und zwar \(n_{1}\) gleich \(a_{1},n_{2}-n_{1}\) gleich \(a_{2},\dots,n_{r}-n_{r-1}\) gleich \(a_{r}\), so ist, wenn noch \(a_{1}>a_{2}>\dots>a_{r}\) angenommen wird, die Ordnung \(N\) der Gruppe \(\mathfrak A\) aus der Formel \[ N=\prod_{\kappa=1}^{r}\prod_{\lambda=1}^{n_\kappa- n_{\kappa-1}}p(n_{\kappa}^{2}-n_{\kappa-1}^{2})a_{\kappa}\left (1- \frac{1}{p^{\lambda}}\right ) \] zu berechnen.