Klassenzahlformel
# Klassenzahlformel

Im mathematischen Teilgebiet der Algebraischen Zahlentheorie gibt die Klassenzahlformel eine Formel für die Berechnung der Klassenzahl eines Zahlkörpers. Sie wurde für quadratische Zahlkörper 1839 von Peter Gustav Lejeune Dirichlet bewiesen.

## Grundlagen

Ein Zahlkörper $K$ ist eine endliche Körpererweiterung $K/\mathbb {Q}$ des Körpers der rationalen Zahlen. Der Ganzheitsring ${\mathcal {O}}_{K}\subset K$ sind diejenigen Elemente aus $K$, die sich als Lösung einer normierten polynomiellen Gleichung mit ganzzahligen Koeffizienten gewinnen lassen. Die Idealklassengruppe misst, wie weit der Ganzheitsring davon entfernt ist, eine eindeutige Primfaktorzerlegung zu besitzen. Sie ist definiert als Gruppe der gebrochenen Ideale modulo der gebrochenen Hauptideale. Die Klassenzahl $h_{K}$ des Zahlkörpers ist definiert als die Anzahl der Elemente der Idealklassengruppe. Insbesondere ist die Klassenzahl $1$ genau dann, wenn ${\mathcal {O}}_{K}$ ein Hauptidealring ist und dies ist wiederum genau dann der Fall, wenn Primfaktorzerlegung in ${\mathcal {O}}_{K}$ eindeutig ist. Ein zentrales Problem der algebraischen Zahlentheorie ist die Frage, welche Zahlkörper Klassenzahl $h_{K}=1$ haben.

## Formel

       $h_{K}={\frac {w_{K}\cdot {\sqrt {|D_{K}|}}}{2^{r_{1}}\cdot (2\pi )^{r_{2}}\cdot \operatorname {Reg} _{K}}}\lim _{s\to 1}(s-1)\zeta _{K}(s)$

Hierbei sind

* $r_{1}$ und $2r_{2}$ die Anzahl der reellen und komplexen Einbettungen von $K$
* $w_{K}$ die Anzahl der Einheitswurzeln in $K$
* $\operatorname {Reg} _{K}$ der Dirichletsche Regulator von $K$
* $D_{K}$ die Diskriminante von $K$
* $\zeta _{K}(s)$ die Dedekindsche Zeta-Funktion

## Beispiele

### Die rationalen Zahlen

Der Zahlkörper der rationalen Zahlen $K=\mathbb {Q}$ hat eine reelle und keine komplexe Einbettung, also $r_{1}=1,r_{2}=0$. Die einzigen Einheitswurzeln sind $\pm 1$ also $w_{\mathbb {Q} }=2$. Der Dirichletsche Regulator ist die Determinante einer $0\times 0$-Matrix, also $\operatorname {Reg} _{\mathbb {Q} }=1$, und die Diskriminante der trivialen Erweiterung $\mathbb {Q} /\mathbb {Q}$ ist $D_{\mathbb {Q} }=1$. Die Dedekindsche Zeta-Funktion $\zeta _{\mathbb {Q} }(s)$ ist in diesem Fall die Riemannsche Zeta-Funktion $\zeta (s)$. Man erhält

    $h_{\mathbb {Q} }=\lim _{s\to 1}(s-1)\zeta (s)=1$

in Übereinstimmung mit der bekannten Tatsache, dass $\mathbb {Z}$ ein Hauptidealring ist.

### Imaginärquadratische Zahlkörper

Für $K=\mathbb {Q} ({\sqrt {-5}})$ ist $r_{1}=0,r_{2}=1,w_{K}=2,\operatorname {Reg} _{K}=1,D_{K}=20$ und das Residuum der Dedekindschen Zetafunktion in $1$ ist ${\frac {40\pi }{20^{3/2}}}$. Man erhält $h_{K}=2$.

Für $K=\mathbb {Q} ({\sqrt {-163}})$ ist $r_{1}=0,r_{2}=1,w_{K}=2,\operatorname {Reg} _{K}=1,D_{K}=163$ und eine geschickte Berechnung des Residuums der Dedekindschen Zetafunktion zeigt $h_{K}=1$.

## Verallgemeinerung

Eine Verallgemeinerung der Klassenzahlformel ist die Lichtenbaum-Vermutung (benannt nach Stephen Lichtenbaum).

