On the class field theory based on Takagi (Q1440503): Difference between revisions

Es sei \(k\) ein Zahlkörper, \(K\) über \(k\) vom Gerade \(n\), aber nicht \textit{Galois}sch; weiter sei \(\mathfrak m\) ein Idealmodul aus \(k\), \(H\) die \(K\) mod \(\mathfrak m\) zugeordnete Idealgruppe und \(h\) der Index von \(H\); dann wird gezeigt: \(h<n\). Hieraus wird dann folgender Satz hergeleitet: Ist \(K\) Klassenkörper über \(k\), so ist auch jeder Körper \(K'\) zwischen \(k\) und \(K\) Klassenkörper über \(k\), und \(K\) ist Klassenkörper über \(K'\). Aus diesen beiden Sätzen und der Tatsache, daß\ zu jeder Idealgruppe \(H\) ein Klassenkörper \(K\) existiert, wird schließlich gefolgert, daß\ dieser Klassenkörper \(K\) über \(k\) Abelsch ist, und daß\ seine Galois'sche Gruppe über \(k\) einstufig isomorph zur Klassengruppe nach \(H\) ist. Der Beweis der letzten Tatsache beruht wesentlich auf dem Nachweis, daß\ zwei endliche Gruppen von ``gleicher Situation der Untergruppen'' (vgl. [\textit{Ada Rottlaender} M. Z. 28 (1928), 641--653; F. d. M. 54, 144 (JFM 54.0144.01)] isomorph sind, wenn eine von ihnen Abelsch ist. Anschließend werden einige propädeutische Bemerkungen zum Aufbau der Klassenkörpertheorie gemacht.