Der kanonische Reziprozitäts‑Homomorphismus von der Idélklassengruppe (oder Ideal­klassengruppe) eines globalen oder lokalen Körpers in seine abel‑ianisierte Galoisgruppe, der Frobenius‑ bzw. lokale Aktionen von Primstellen aufzeichnet und die Korrespondenz der Klassenkörpertheorie zwischen abelschen Erweiterungen und Klassengruppen realisiert.

Prinzip

Arithmetische Klassen (Ideal‑ oder Idélklassen) mit Galois‑Aktionen identifizieren, indem man eine Klasse dem von ihr auf endlichen abelschen Erweiterungen induzierten Automorphismus zuordnet; die Artin‑Abbildung ist die Brücke, die multiplikative Klassendaten in Elemente der Galoisgruppe überführt und Reziprozitätsgesetze etabliert.

Demonstration

Für eine endliche abelsche Erweiterung ordnet man einer unverzweigten Primstelle ihr Frobenius‑Element zu; dieses weist man dann multiplikativ auf Ideale aus und vervollständigt zur Idélklassenabbildung, die auf die abelsche Galoisgruppe faktorisiert; diese explizite Abbildung liefert im globalen Fall das Reziprozitätsisomorphismus der Klassenkörpertheorie.

Fehlanwendung

Die naive Frobenius‑Zuordnung außerhalb ihres Gültigkeitsbereichs anwenden (Ramifikation, lokale Normalisierung oder Idélmaße ignorieren) oder die Artin‑Abbildung ohne notwendige topologische Vervollständigungen und Stetigkeitsannahmen betrachten, führt zu falschen Identifikationen.

Konsequenz

Die Artin‑Abbildung liefert eine explizite Beschreibung der abelisierten Galoisgruppe durch arithmetische Klassen, ermöglicht die Klassifikation abelscher Erweiterungen, die Formulierung von Reziprozitätsgesetzen und das Berechnen von Frobenius‑Elementen aus Ideal­klassen‑Daten.

Umkehrung

Die Umkehr besteht darin, zu versuchen, Ideal‑ oder Idélklassen allein aus beliebigen Elementen der Galoisgruppe ohne Reziprozitätsstruktur zu rekonstruieren; ohne die Artin‑Abbildung ist eine solche naive Inversion arithmetisch nicht kanonisch und scheitert im Wiedergewinnen von Klassendaten.

Abgrenzung

Zentrales Objekt der lokalen und globalen Klassenkörpertheorie, das Idél/Ideal‑Klassen und abelsche Galoisgruppen verknüpft; es verallgemeinert nicht unmittelbar auf nichtabelsche Galoisgruppen ohne zusätzliche Strukturen (in nichtabelschen Kontexten nimmt die Langlands‑Korrespondenz diese Rolle ein), und seine konkrete Form hängt von gewählten Normalisierungen und Topologien ab.

Semantische Spannung

Es besteht Spannung zwischen der konkreten Frobenius‑Zuordnung an unverzweigten Stellen und der topologischen idélischen Formulierung, die für verzweigte oder unendliche Stellen nötig ist; Praktiker verwechseln manchmal die naive Frobenius‑Karte mit der vollständigen Artin‑Homomorphismus, der Vervollständigungen und Reziprozitätsnormalisierungen verlangt.

Synthese

Die Artin‑Abbildung ist der Reziprozitäts‑Homomorphismus, der Ideal‑ oder Idélklassendaten in abelsche Galoisautomorphismen überführt: Frobenius an Primstellen zuordnen, multiplikativ und topologisch erweitern und so die Klassenkörpertheorie‑Korrespondenz zwischen arithmetischen Klassen und abelschen Erweiterungen realisieren.