A determination of the automorphisms of certain algebraic fields. (Q2595873)

Verf. gibt für normale algebraische Körper gegebener Automorphismengruppe über dem natürlichen Zahlkörper die Gleichungspolynome (bei entsprechender Auswahl des erzeugenden Elements) und die explizite Darstellung der Automorphismen. Letzteres ist so zu verstehen: Bei gegebener Wurzel \(\alpha\) sind die anderen als \[ \alpha'=\vartheta_1(\alpha), \quad \alpha''=\vartheta_2(\alpha), \ldots \] mit Polynomen \(\vartheta_1\), \(\vartheta_2\), \dots gegeben. Diese \(\vartheta_i\) werden hier wirklich gebildet. So ergibt sich für die zyklischen Körper sechsten Grades: Als erzeugendes Element \(\gamma\) kann eines genommen werden, das der Gleichung (mit Unbekannter \(\lambda\)) \[ \lambda^6 + 12ed\lambda^4+ 36e^2d^2\lambda^2 + 16e^2d^3(2e+3)=0 \] genügt. Hierbei sind \(d\), \(e\) Rationalzahlen mit folgenden Bedingungen: \(d\) ist kein Quadrat; hingegen erfüllt \(e\) die Gleichung \[ (2b + 1)^2 = - 2e - 3 \] mit rationalem \(b\). Ist umgekehrt eine Gleichung erwähnter Art bei Erfüllung der Bedingungen für \(e\) und \(b\) irreduzibel, so definiert sie einen zyklischen Körper sechsten Grades. Es ergeben sich die Wurzeln \(\gamma'\), \dots, \(\gamma^{\text{V}}\) aus der als adjungiert angenommenen \(\gamma\) wie folgt: \[ \begin{gathered} \gamma'=-\frac {\gamma^5+10ed\gamma^3+8ed^2(2e-b-2)\gamma}{8ed^2(2b+1)}, \quad \gamma'' = \frac {\gamma^5+10ed\gamma^3+8ed^2(2e+b-1)\gamma}{8ed^2(2b+1)}, \\ \gamma''' = -\gamma, \quad \gamma^{\text{IV}}=-\gamma', \quad \gamma^{\text{V}} = -\gamma''. \end{gathered} \] Für normale Körper sechsten Grades mit der symmetrischen Gruppe des Grades 3 als Automorphismengruppe folgt analog: Die Gleichung \[ \lambda^6 + 2pd\lambda^4 + p^2d^2\lambda^2- q^2d^3 = 0, \] wo \(p\), \(q\) rational sind und \(d=-4p^3-27q^2\) kein Quadrat ist, definiert einen Körper genannter Gruppe, falls sie irreduzibel ist. Alle diese Körper können so erhalten werden. Auch hier werden die expliziten Formeln für die Automorphismen gegeben. So werden auch die abelschen Körper achten Grades mit den Gruppen der Typen \((4, 2)\) und \((2, 2, 2)\) behandelt; doch verbietet der Raum die Wiedergabe der äußerst verwickelten Formeln. -- Hingewiesen sei nur kurz darauf, daß vorher alle normalen Gleichungen dritten und vierten Grades behandelt werden, wobei Ergebnisse, die größtenteils bereits bekannt sind, folgen.