Sur les théorèmes du genre principal et des idéaux principaux. (Q563610)

Verf. verallgemeinert den für relativ-zyklische Zahlkörper von Primzahlgrad bekannten Hauptgeschlechtssatz auf beliebigen Grad. Dabei bedient er sich einer neuen Methode, er wendet nämlich das \textit{Artin}sche Reziprozitätsgesetz zur gruppentheoretischen Darstellung der fraglichen Idealklassen an. Außerdem beweist er dazu folgendes auch an sich bemerkenswerte Lemma: Sei \(\bar K\) ein abelscher Körper über dem algebraischen Zahlkörper \(k\), ferner \(K\) ein Zwischenkörper von \(\bar K/k\), und seien \(\mathfrak f,\mathfrak m,\mathfrak M\) die Führer von \(K/k,\bar K/k,\bar K/K\). Neben der bekannten Relation \[ \mathfrak m=\mathfrak f\mathfrak m_0\quad \text{mit ganzem }\mathfrak m_0\text{ aus }k \] hat man dann \[ \mathfrak M=\mathfrak F\mathfrak m_0\quad \text{mit ganzem }\mathfrak F\text{ aus }K, \] und hier ist \(\mathfrak F\) genau aus denselben Primidealen \(\mathfrak P\) aus \(K\) zusammengesetzt wie \(\mathfrak f\). Der Beitrag jedes solchen \(\mathfrak P\) zu \(\mathfrak F\) ist \(\mathfrak P^{1+v}\), wo \(v\) die Anzahl der gleichen oder verschiedenen Verzweigungsgruppen zu \(\mathfrak P\) für \(K/k\) ist. Aus diesem Lemma ergibt sich leicht die folgende Verallgemeinerung des Hauptidealsatzes: Im Strahlklassenkörper \(\text{mod }\mathfrak f\) zu \(k\) fällt jedes Ideal aus \(k\) in den Strahl \(\text{mod }\mathfrak F\).