Some theorems on the connection between ideals and groups of a Galois field. (Q1440342)

Sei \(K\) ein über dem Körper \(R\) der rationalen Zahlen endlicher Galois'scher Körper und \(G\) seine Gruppe über \(R\). Ist dann \(\mathfrak A\) ein Ideal in \(K\), so ist seine (Zerlegungs-)Gruppe \(G_{\mathfrak A}\) die Gruppe aller und nur der Automorphismen von \(K\), bei denen \(\mathfrak A\) in sich übergeht. Auf Grund der Aussagen: \(G_{{\mathfrak A}^n}=G_{\mathfrak A}\), und \(G_{\mathfrak A \cdot B}\) ist Durchschnitt von \(G_{\mathfrak A}\) und \(G_{\mathfrak B}\), wenn nur die Normen von \(\mathfrak A\) und \(\mathfrak B\) relativ prim sind, gelingt es, die Untersuchung von \(G_{\mathfrak A}\) auf Gruppen solcher Ideale zu beschränken, die \[ {\mathfrak A}={\mathfrak P}_{s_1} \cdots {\mathfrak P}_{s_t} \] erfüllen, wo die \({\mathfrak P}_{s_i}\) konjugierte Primideale, in unserem Falle also Teiler derselben Primzahl sind. Für diese läß\ t sich dann \(G_{\mathfrak A}\) aufstellen. Da zu jeder Untergruppe von \(G\) eineindeutig ein Unterkörper von \(K\) gehört, so können wir dem Ideal \(\mathfrak A\) den der Gruppe \(G_{\mathfrak A}\) zugeordneten Unterkörper \(K_{\mathfrak A}\) von \(K\) entsprechen lassen. Dann erweist sich \(K_{\mathfrak A}\) als der Unterkörper niedrigsten Grades von \(K\) derart, daß\ es ein \(n\) gibt, so daß\ \({\mathfrak A}^n\) ein Ideal in \(K_{\mathfrak A}\) ist. Jeder eine Potenz von enthaltende Körper ist ein Oberkörper von \(K_{\mathfrak A}\). Schließlich werden noch Unterkörper \(k\) von \(K\) untersucht, die die Eigenschaft haben, daß\ jedes ihrer Elemente mod \({\mathfrak A}^n\) für jedes \(n\) kongruent einer rationalen Zahl ist (\(\mathfrak A\) Ideal in \(k\)). (III 7.)