Sur les démonstrations arithmétiques dans la théorie du corps de classes. (Q2611675)

In einer früheren Arbeit des Ref. (Math. Ann. 107 (1933), 731-760; JFM 59.0942.*) ist gezeigt worden, daß die Hauptsätze der Klassenkörpertheorie sich aus der fundamentalen Summenrelation \[ \sum_\mathfrak{p}\left(\dfrac{\mathfrak{A}}{\mathfrak{p}}\right)\equiv 0 \mod 1 \] für die \(\mathfrak{p}\)-Invarianten einer normalen einfachen Algebra \(\mathfrak{A}\) über einem algebraischen Zahlkörper \(k\) herleiten lassen. Diese Herleitung macht aber wesentlich von den transzendenten Methoden der Klassenkörpertheorie Gebrauch. Die Verf. zeigen hier, daß man diese Herleitung auf rein-arithmetischem Wege vollziehen kann. Die Arbeit des Ref. folgert zunächst rein-arithmetisch die Tatsache, daß die zu einem zyklischen Körper \(K/k\) gehörige \textit{Artin}-Gruppe \(H_{K/k}\left(\text{definiert durch } \left(\dfrac{K/k}{\mathfrak{a}}\right)=1\right)\) eine Kongruenzgruppe nach dem Führer \(\mathfrak{f}_{K/k}\) ist und somit die zugehörige \textit{Takagi}-Gruppe \(\overline{H}_{K/k}\) (definiert durch die Normen von \(K/k\) mod \(\mathfrak{f}_{K/k}\)) enthält; Verf. verallgemeinern das leicht auf beliebige abelsche \(K/k\). Um von hier aus zu den Hauptsätzen der Klassenkörpertheorie zu gelangen, sind folgende zwei Behauptungen zu beweisen: I. \(\left(\dfrac{K/k}{\mathfrak{a}}\right)\) durchläuft die volle \textit{Galois}-Gruppe von \(K/k\). II. \(\overline{H}_{K/k}=H_{K/k}\); dies läuft auf Ind. \(\overline{H}_{K/k}\leqq\) Grad \(K/k\) hinaus. Der arithmetische Beweis der Verf. für I ergibt sich durch den Nachweis, daß für zyklische \(K/k\) von Primzahlgrad nicht alle oder auch nur fast alle Primideale von \(k\) in \(K\) voll zerlegt sein können. Diese Tatsache wird aus der arithmetischen Theorie der zyklischen Körper (fundamentale Ungleichung) gefolgert. Für den vorliegenden Zweck wird nur ein einfacherer Spezialfall der allgemeinen fundamentalen Ungleichung gebraucht. Die Verf. geben einen auf diesen Spezialfall zugeschnittenen Beweis. Der arithmetische Beweis der Verf. für II beruht auf der Möglichkeit, aus den bereits arithmetisch begründeten Tatsachen den Existenzsatz für Klassenkörper vom Exponenten \(n\) bei \(n\)-ten Einheitswurzeln im Grundkörper arithmetisch herzuleiten. Dies geschieht nach dem \textit{Chevalley-Herbrand}schen abzählenden Verfahren (Journ. Fac. Sc. Tokyo 2 (1933), 365-476; JFM 59.0190.*). Von diesem Existenzsatz aus gelangen die Verf. zum Ziel durch arithmetischen Beweis des Übergangssatzes: Mit \(K/K'\) und \(K'/k\) ist auch \(K/k\) Klassenkörper und mit \(K/k\) auch \(K'/k\), wenn \(K\geqq K'\geqq k\). Druckfehler: S. 367, Z. 23 lies \((A) = \mathfrak{a}\) statt \((A) = \mathfrak{A}\). \(\phantom{\text{Druckfehler:}}\) S. 370, Z. 6 lies de \(k\) statt de \(K\). \(\phantom{\text{Druckfehler:}}\) S. 370, Z. 13 lies \((K':k)\) statt \(n\).