On the principal genus theorem concerning the abelian extensions (Q770539): Difference between revisions

Es wird folgende Verallgemeinerung des für zyklische Körper bekannten Hauptgeschlechtssatzes [vgl. etwa \textit{H. Hasse}, Zahlbericht Ia, J.-Ber. Deutsch. Math. Verein. 36, 233--311 (1927; JFM 53.0143.01), insbesondere S. 301--310] bewiesen: Sei \(K\vert k\) eine abelsche Erweiterung des algebraischen Zahlkörpers \(k\) mit der Galoisgruppe \(\mathfrak g = \{r, s, t\}\), dem Führer \(\mathfrak f\) und dem Geschlechterführer \(\mathfrak F\), ferner \(\mathfrak m\) ein ganzes Ideal in \(k\). Dann hat ein Idealsystem \(\{\mathfrak A(s)\mid s\in\mathfrak g\}\) von \(K\) die Eigenschaft, daß \(\mathfrak A(r)^t \mathfrak A(t) \mathfrak (r t)^{-1} = (a(r, t))\) Hauptideal in \(k\) mit \(a(r, t) \equiv 1 \bmod \mathfrak m \mathfrak f\) ist, genau dann, wenn ein Ideal \(\mathfrak B\) und ein Zahlensystem \(\{\mathfrak A(r)\}\) in \(K\) existiert mit den Eigenschaften: \[ \mathfrak A(r) = \mathfrak B^{1-r} (A(r)),\quad A(r) \equiv 1 \bmod \mathfrak m\mathfrak F,\quad A(r)t A(t) A(rt)^{-1} \text{ in }k\text{ und }\equiv 1 \bmod \mathfrak m\mathfrak f. \] Der Beweis erfolgt auf Grund eines Satzes über den Zerfall gewisser Zahlfaktorensysteme \(\{b(r, t)\}\) in \(K\). Für eine modifizierte Verallgemeinerung des Hauptgeschlechtssatzes vgl. auch \textit{H. Kuniyoshi} und \textit{S. Takahashi} [Tôhoku Math. J., II. Ser. 5, 128--131 (1953; Zbl 0052.27402)].