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

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 Prim\-zahl) fest, daß man zur Charakterisierung nicht einfach den Durchschnitt der zu\-geordneten Idealgruppen eines \(K/k\) aufbauenden Körperturms nehmen kann. Den richtigen Ansatz findet er vielmehr dadurch, daß er bereits in der endlichen Klassen\-körpertheorie zur Charakterisierung Gruppen heranzieht, die statt aus Idealen aus einer neuen Art idealer Elemente bestehen. Dem Vorgange des Zbl. Ref. (\textit{Grunwald}, Zbl. Math. Grenzgeb. 15 (1937), 151-152) folgend will ich diese neuartigen idealen Ele\-mente auch hier \textit{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 er\-klä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 Prim\-stellen einbezogen; Einheit für eine solche bedeutet nur \(\neq0\). Diese Idele bilden bei kom\-ponentenweiser Multiplikation eine abelsche Gruppe \(\mathfrak a\), in der die Multiplikations\-gruppe \(a\) von \(k\) in Gestalt der speziellen Systeme \(a = (a)\) (mit lauter gleichen Kompo\-nenten \(a\neq0\) aus \(k\)) als Untergruppe der \textit{Hauptidele} vertreten ist. \textit{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 Er\-weiterung \(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 \textit{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 \textit{Ü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 Über\-setzungsergebnis ist folgendes: Die abelschen Erweiterungen \(K/k\) endlichen Grades entsprechen umkehrbar eindeutig den \textit{Kongruenzidelklassengruppen} von \(k\), d. h. den\-jenigen Idelklassengruppen, die einen \textit{Idelüberstrahl} \(\mathfrak a\equiv1\bmod\mathfrak m\) enthalten (größt\-mö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 \textit{Artin}-Symbols der bisherigen Theorie. Die \textit{Hilbert}\-sche Produktformel erscheint als unmittelbare Folge der genannten Isomorphietat\-sache, 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örper\-theorie, herleiten läßt und daß sich dabei der Aufbau der Klassenkörpertheorie verein\-facht. 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 Idel\-klassengruppe \(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 \textit{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 abel\-schen Erweiterungen \(K/k\) entsprechen auf Grund der angegebenen Zuordnung umkehr\-bar 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 Existenz\-satzes hier dadurch besonders einfach gestaltet, daß man die Klassenkörpereigenschaft des umfassendsten abelschen Körpers \(A/k\) heranzieht; die ihm zugeordnete Idelklassen\-gruppe ist die topologisch-abgeschlossene Hülle \(\overline{a}\) der Hauptidelgruppe \(a\).