Artinsches Reziprozitätsgesetz

Das Artinsche Reziprozitätsgesetz (nach Emil Artin) umfasste historisch gesehen alle schon vorher bekannten Reziprozitätsgesetze wie das quadratische Reziprozitätsgesetz. Es besagt, dass ein Quotient der Idealklassengruppe, einer verallgemeinerten Idealklassengruppe, einer abelschen Körpererweiterung isomorph zur Galoisgruppe dieser Erweiterung ist.

Das Artinsche Reziprozitätsgesetz ist ein wesentlicher Schritt auf dem Weg zu Lösung des neunten Hilbertschen Problems und wird wegen seiner Bedeutung auch Hauptsatz der Klassenkörpertheorie genannt.

Genauer kann man es wie folgt formulieren:

$I(\mathfrak{m}) / P_{\mathfrak{m}} \mathfrak{N}(\mathfrak{m}) \simeq G(K/k)$

Dabei ist $I(\mathfrak{m})$ die Menge der zu dem Erklärungsmodul $\mathfrak{m}$ teilerfremden Ideale von k, $\mathfrak{N}(\mathfrak{m})$ die Gruppe der Normen von gebrochenen Idealen in K teilerfremd zu $\mathfrak{m}$ und $P_{\mathfrak{m}}$ die Untergruppe von P (Gruppe der gebrochenen Hauptideale), die aus den gebrochenen Hauptidealen (α) besteht mit $\alpha \in k_\mathfrak{m}$, wobei $k_\mathfrak{m}$ eine Untergruppe der Einheitengruppe $k^\times$ ist. Der Erklärungsmodul $\mathfrak{m}$ muss dabei durch alle verzweigten Primideale teilbar sein.

Adeletheoretisch kann man es so formulieren:

$H^3(G(K/k), \mathbb{A}_K) \simeq G(K/k)$