Über den Automorphismenring bzw. die Automorphismengruppe einer endlichen Abelschen Gruppe. (Q1830694): Difference between revisions

\(\mathfrak A\) sei eine endliche, primäre abelsche Gruppe, \[ \mathfrak A_0= \mathfrak A > \mathfrak A_1 > \cdots > \mathfrak A_t = \{\mathfrak D\} \] eine nicht verfeinerungsfähige Kette von Gruppen \(\mathfrak A_i\) mit \(\alpha(\mathfrak A_i)\leqq \mathfrak A_i\) für jeden eigentlichen oder uneigentlichen Automorphismus \(\alpha\) von \(\mathfrak A\). Ist \(\mathfrak o_i\) die Gesamtheit der Automorphismen \(\alpha\) von \(\mathfrak A\) mit \(\alpha(\mathfrak A_i) = \{0\}\), \(\mathfrak G_i\) die Gesamtheit der eigentlichen Automorphismen von \(\mathfrak A\), die jedes Element von \(\mathfrak A_i\) invariant lassen, so wird die Struktur der Ketten \[ \mathfrak o_1/\mathfrak o_0, \ldots,\mathfrak o_t/\mathfrak o_{t-1}\quad \text{und} \;\mathfrak G_1/\mathfrak G_0,\ldots, \mathfrak G_t/\mathfrak G_{t-1} \] untersucht; diese Ketten sind, abgesehen von der Reihenfolge, nur von \(\mathfrak A\), nicht aber von der speziellen Auswahl der Kette \(\mathfrak A_0, \ldots, \mathfrak A_t\) abhängig.