Eine Reihe von Ergebnissen, die abelsche Erweiterungen globaler und lokaler Körper in Begriffen der arithmetischen Daten des Grundkörpers klassifizieren und explizite Reziprozitätsgesetze sowie eine Korrespondenz zwischen endlichen abelschen Erweiterungen und offenen Untergruppen eines geeigneten arithmetischen Gruppenobjekts (Idelklassengruppe oder Strahlklassen) liefern.

Prinzip

Das ordnende Prinzip ist die Artin-Reziprozität: eine kanonische surjektive Reziprozitätsabbildung von einer arithmetischen Gruppe (Idelklassengruppe bei globalen Körpern oder multiplikative Gruppe modulo Normen bei lokalen Körpern) auf die abelisierte Galoisgruppe identifiziert Untergruppen mit abelschen Erweiterungen und kodiert Lokal-Global-Kompatibilität sowie Verhälter von Leitern.

Demonstration

Das Hilbert-Klassenfeld eines Zahlkörpers ist die maximale unverzweigte abelsche Erweiterung, deren Galoisgruppe isomorph zum Klassenkörper (Idealklassengruppe) des Grundkörpers ist; die Bestimmung dieses Feldes realisiert klassenideale Arithmetik als konkrete Körpererweiterung, ein anschauliches globales Beispiel.

Fehlanwendung

Die Annahme, die Klassenkörpertheorie beschreibe nicht-abelsche Erweiterungen oder die Erwartung expliziter Erzeuger für beliebige Körper ohne abelsche Hypothese ist fehlleitend; viele Phänomene der nicht-abelschen Galoistheorie liegen außerhalb ihres Geltungsbereichs und erfordern das Langlands-Programm oder andere nicht-abelsche Methoden.

Konsequenz

Stellt abelsche Galoisgruppen explizit in Begriffen arithmetischer Invarianten dar, liefert Reziprozitätsgesetze (Verallgemeinerung der quadratischen Reziprozität) und Werkzeuge zur Konstruktion und Analyse abelscher Erweiterungen, Leiter und L-Funktionen, die zentrale Objekte der algebraischen Zahlentheorie sind.

Umkehrung

Aus Kenntnis der abelschen Galoisgruppe oder einer konkreten abelschen Erweiterung lassen sich arithmetische Eigenschaften des Grundkörpers (Klassengruppe, Verzweigungsverhalten, Leiter) ablesen, indem man verfolgt, wie Untergruppen über die Reziprozitätsabbildung Zwischenkörper entsprechen.

Abgrenzung

Gilt nur für abelsche (kommutative) Erweiterungen lokaler oder globaler Körper; sie klassifiziert keine nicht-abelschen Erweiterungen und verwendet üblicherweise die Sprache der Idelen, Strahlklassen oder lokalen Normgruppen, um genaue Korrespondenzen und Leiter auszudrücken.

Semantische Spannung

Steht im Kontrast zum umfassenderen Langlands-Programm, das nicht-abelsche Erweiterungen mit automorphen Darstellungen verknüpfen will; die Klassenkörpertheorie ist der abelsche Grundstein und wird mitunter fälschlich als Antwort auf allgemeinere Reziprozitätsfragen ohne Nichtabelsche Erweiterung missverstanden.

Synthese

Die Klassenkörpertheorie ist der arithmetische Reziprozitätsrahmen, der abelsche Galoiserweiterungen eines Körpers mittels Artin-Reziprozität mit expliziten Untergruppen seiner Idel- oder Strahlklassenstrukturen identifiziert und damit idealtheoretische und lokale Daten in eine Klassifikation abelscher Erweiterungen überführt.