×

Généralisation de la théorie du corps de classes pour les extensions infinies. (French) JFM 62.1153.02

Sei \(k\) ein algebraischer Zahlkörper endlichen Grades. Die Klassenkörpertheorie charakterisiert jede abelsche Erweiterung \(K/k\) endlichen Grades durch eine aus Idealen von \(k\) bestehende Gruppe. Verf. gibt eine entsprechende Charakterisierung für die abelschen Erweiterungen \(K/k\) unendlichen Grades. Er stellt zunächst durch Hinweis auf das Beispiel des Körpers aller Einheitswurzeln von \(p\)-Potenzordnung (\(p\) feste Primzahl) fest, daß man zur Charakterisierung nicht einfach den Durchschnitt der zugeordneten Idealgruppen eines \(K/k\) aufbauenden Körperturms nehmen kann. Den richtigen Ansatz findet er vielmehr dadurch, daß er bereits in der endlichen Klassenkörpertheorie zur Charakterisierung Gruppen heranzieht, die statt aus Idealen aus einer neuen Art idealer Elemente bestehen. Dem Vorgange des Zbl. Ref. (Grunwald, Zbl. Math. Grenzgeb. 15 (1937), 151-152) folgend will ich diese neuartigen idealen Elemente auch hier Idele nennen. Ihre Verwendung statt der Ideale ergibt bereits für die endliche Klassenkörpertheorie eine willkommene begriffliche und sachliche Vereinfachung.
Der Begriff des Ideals entspringt aus der Nichterfüllbarkeit der Forderung, eine Zahl aus \(k\) zu finden, die für alle Primstellen \(\mathfrak p\) von \(k\) vorgeschriebene Ordnungszahlen hat, wobei für fast alle \(\mathfrak p\) die Ordnungszahl 0 vorgeschrieben ist. Verschärft man die durch die Ordnungszahlen ausgedrückten groben \(\mathfrak p\)-adischen Annäherungsvorschriften durch Vorschreiben der gesamten \(\mathfrak p\)-adischen Entwicklungen, so entspringt der vom Verf. neu eingeführte Begriff des idealen Elements (Idels). Diese werden nämlich erklärt als die Systeme \(\mathfrak a = (a_{\mathfrak p})\), deren einzelne Komponenten \(a_{\mathfrak p}\) Elemente \(\neq0\) aus den sämtlichen \(\mathfrak p\)-adischen Erweiterungen von \(k\) sind, mit der Einschränkung, daß \(a_{\mathfrak p}\) für fast alle \(\mathfrak p\) Einheit ist (die Ordnungszahl 0 hat). Dabei sind auch die unendlichen Primstellen einbezogen; Einheit für eine solche bedeutet nur \(\neq0\). Diese Idele bilden bei komponentenweiser Multiplikation eine abelsche Gruppe \(\mathfrak a\), in der die Multiplikationsgruppe \(a\) von \(k\) in Gestalt der speziellen Systeme \(a = (a)\) (mit lauter gleichen Komponenten \(a\neq0\) aus \(k\)) als Untergruppe der Hauptidele vertreten ist. Idelklassen seien stets in bezug auf diese Untergruppe \(a\) als Hauptklasse verstanden. In naheliegender Weise wird die Relativnorm \(N_{K/k}(\mathfrak A)\) eines Idels \(\mathfrak A\) einer endlich-algebraischen Erweiterung \(K/k\) als Idel von \(k\) erklärt. Ist \(\mathfrak m=\prod\limits_{\mathfrak p}\mathfrak m_{\mathfrak p}\) ein Kongruenzmodul wie in der bisherigen Klassenkörpertheorie, so wird die Kongruenz \(\mathfrak a\equiv\mathfrak b \bmod \mathfrak m\) für Idele durch \[ a_{\mathfrak p}\equiv b_{\mathfrak p}\,{\bmod}^{\times}\,\mathfrak m_{\mathfrak p} \text{ für alle \(\mathfrak p\) mit } \mathfrak m_{\mathfrak p}\neq1 \] erklärt. Daneben tritt die Überkongruenz \(\mathfrak a\equiv\mathfrak b \bmod \mathfrak m\), erklärt durch \[ a_{\mathfrak p}\equiv b_{\mathfrak p}\,{\bmod}^{\times}\,\mathfrak m_{\mathfrak p} \text{ für alle }\mathfrak p \]
Mit dem Idealbegriff besteht folgender Zusammenhang: Die Gruppe der Idele \(\mathfrak e\equiv1\bmod 1\) hat mit \(k\) als Durchschnitt die Einheitengruppe von \(k\), und die Klassen der Faktorgruppe \(\mathfrak a/\mathfrak e\) entsprechen isomorph den Idealen von \(k\).
Verf. übersetzt nun durch einfache Überlegungen den Tatbestand der endlichen Klassenkörpertheorie aus der Sprache der Ideale in die Sprache der Idele. Das Übersetzungsergebnis ist folgendes: Die abelschen Erweiterungen \(K/k\) endlichen Grades entsprechen umkehrbar eindeutig den Kongruenzidelklassengruppen von \(k\), d. h. denjenigen Idelklassengruppen, die einen Idelüberstrahl \(\mathfrak a\equiv1\bmod\mathfrak m\) enthalten (größtmögliches \(\mathfrak m=\) Führer \(\mathfrak f\)). Die \(K/k\) zugeordnete Idelklassengruppe besteht aus genau denjenigen Idelklassen, die Relativnormen von Idelen \(\mathfrak A\) von \(K\) enthalten, ist also gegeben durch \(a\cdot N_{K/k}(\mathfrak A)\). Die Faktorgruppe \(\mathfrak a/a\cdot N_{K/k}(\mathfrak A)\) ist isomorph zur Galoisgruppe von \(K/k\), und dieser Isomorphismus wird dargestellt durch das Produkt \[ (\mathfrak a,K/k)={\prod\limits_{\mathfrak p}} \left(\dfrac{\mathfrak a,\,K/k}{\mathfrak p}\right)= {\prod\limits_{\mathfrak p}} \left(\dfrac{\mathfrak a_{\mathfrak p},\,K/k}{\mathfrak p}\right) \] der Normenrestsymbole für die sämtlichen Primstellen \(\mathfrak p\). Das so definierte Symbol \((\mathfrak a, K/k)\) ist hier das Äquivalent des Artin-Symbols der bisherigen Theorie. Die Hilbertsche Produktformel erscheint als unmittelbare Folge der genannten Isomorphietatsache, nach der ja \((a, K/k)=1\) ist. Verf. bemerkt überdies, daß sich dieser Tatbestand auch direkt, ohne den Umweg über die idealtheoretische Begründung der Klassenkörpertheorie, herleiten läßt und daß sich dabei der Aufbau der Klassenkörpertheorie vereinfacht.
Von dieser neuen Gestalt der endlichen Klassenkörpertheorie ausgehend kann Verf. jetzt leicht den Übergang zur unendlichen Klassenkörpertheorie vollziehen. Er kann zunächst das Symbol \((\mathfrak a, K/k)\) für unendlichen Grad als Automorphismus von \(K/k\) eindeutig dadurch definieren, daß es für jeden Teilkörper \(K_0/k\) endlichen Grades den Automorphismus \((\mathfrak a, K_0/k)\) bewirkt, und erhält dann eine \(K/k\) zugeordnete Idelklassengruppe \(H\) als die Gesamtheit der Idele \(\mathfrak a\) mit \((\mathfrak a, K/k)=1\).
Für die Formulierung des Tatbestandes der Klassenkörpertheorie nimmt Verf. dann topologische Begriffsbildungen hinzu, nämlich einerseits die schon von Krull für die Übertragung der Galoisschen Theorie als wesentlich erkannte Topologie in der Galoisgruppe von \(K/k\), und andrerseits eine Topologie in der Idelgruppe von \(k\) mit dem (auf die sämtlichen Primstellen erstreckten) Umgebungsbegriff \(\mathfrak x\equiv\mathfrak a\bmod \mathfrak m\). Es ergibt sich, dann folgender klassenkörpertheoretische Tatbestand: Die sämtlichen abelschen Erweiterungen \(K/k\) entsprechen auf Grund der angegebenen Zuordnung umkehrbar eindeutig den topologisch-abgeschlossenen Idelklassengruppen \(H\). Dabei ist die Faktorgruppe \(\mathfrak a/H\) topologisch-isomorph zu Galoisgruppe von \(K/k\), und zwar liefert das Symbol \((\mathfrak a, K/k)\) einen topologischen Isomorphismus zwischen diesen Gruppen. An Stelle der für endlichen Grad bestehenden Kongruenzbedingung, daß \(H\) einen Idelüberstrahl enthält, tritt also bei Zulassung auch unendlichen Grades die Bedingung der topologischen Abgeschlossenheit. Es sei noch bemerkt, daß sich der Beweis des Existenzsatzes hier dadurch besonders einfach gestaltet, daß man die Klassenkörpereigenschaft des umfassendsten abelschen Körpers \(A/k\) heranzieht; die ihm zugeordnete Idelklassengruppe ist die topologisch-abgeschlossene Hülle \(\overline{a}\) der Hauptidelgruppe \(a\).

PDFBibTeX XMLCite