On the principal genus theorem concerning the abelian extensions (Q770539): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:11, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the principal genus theorem concerning the abelian extensions |
scientific article |
Statements
On the principal genus theorem concerning the abelian extensions (English)
0 references
1952
0 references
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)].
0 references
principal genus theorem
0 references
abelian extensions
0 references