Eine grundlegende Aussage der globalen Klassenkörpertheorie, die einen kanonischen Isomorphismus (oder eine surjektive Reziprozitätsabbildung) zwischen der Idelklassengruppe eines globalen Körpers und der abelisierten absoluten Galoisgruppe liefert und arithmetische Daten mit Charakteren und Frobenius-Elementen identifiziert.

Prinzip

Abelsche Erweiterungen eines globalen Körpers entsprechen offenen Untergruppen der Idelklassengruppe: lokale Frobenius-Elemente an Stellen stimmen mit idelischen Klassen überein, und Charaktere der Idelklassengruppe parametrisieren abelsche Galois-Charaktere und realisieren so ein Reziprozitätsgesetz.

Demonstration

Über den rationalen Zahlen identifiziert Artins Reziprozität den Quotienten der Idele durch Q* mit der Galoisgruppe der maximalen abelschen Erweiterung; konkret wird das Aufspaltungsverhalten von Primstellen in abelschen Erweiterungen durch das Bild lokaler Uniformisatoren unter der Reziprozitätsabbildung (Frobenius-Elemente) gesteuert.

Fehlanwendung

Artins Reziprozität auf nicht-abelsche Erweiterungen anzuwenden oder ein direktes Analogon für beliebige Galoisgruppen zu erwarten: Der Satz behandelt strikt abelisierte Galoisgruppen und darf nicht ohne weitere Struktur zur Herleitung nicht-abelscher Entsprechungen benutzt werden.

Konsequenz

Bietet eine vollständige Beschreibung abelscher Erweiterungen globaler Körper, bildet die Grundlage für Leitbegriffe wie Leiter (Konduktoren) und L-Funktionen von Charakteren und liefert die globale Reziprozitätsbeschränkung zur Berechnung des Zerlegungsverhaltens von Primstellen.

Umkehrung

Die lokale Reziprozität (inverse lokale Abbildungen zwischen lokalen multiplikativen Gruppen und lokalen Galoisgruppen) ergänzt die globale Reziprozität, aber eine voll nicht-abelsche Umkehr—die Ersetzung der Idelklassen durch nicht-abelsche Objekte zur Rekonstruktion ganzer Galoisgruppen—liegt außerhalb der klassischen Klassenkörpertheorie und ist Gegenstand tieferer Vermutungen.

Abgrenzung

Gilt für globale Körper (Zahlkörper und Funktionenkörper von Kurven über endlichen Körpern) und deren abelsche Erweiterungen; schließt nicht-abelsche Erweiterungen aus und erfordert die Arbeit mit Idele, Komplettierungen und topologischen Offenheitsbedingungen für die Entsprechung.

Semantische Spannung

Steht im Spannungsfeld des Langlands-Programms und der Reziprozitätsvermutungen: Die Spannung liegt zwischen der konkreten abelschen Klassifikation durch Idele und der umfassenderen nicht-abelschen Reziprozität, die analoge Parametrisierungen durch automorphe Daten anstrebt.

Synthese

Artins Reziprozität ist das klassische bijektive Wörterbuch der abelschen Klassenkörpertheorie: Sie identifiziert die Arithmetik abelscher Erweiterungen mit Charakteren der Idelklassengruppe, kodiert Zerlegungs- und Frobenius-Verhalten und bildet den abelschen Kern, an dem nicht-abelsche Verallgemeinerungen gemessen werden.