## [Artin‑Abbildung](/de/node/63051) Definition 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 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 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 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 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 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 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 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 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.