Relativklassenzahl
# Relativklassenzahl

Die Relativklassenzahl ist ein mathematischer Begriff aus dem Bereich der algebraischen Zahlentheorie.

Sei $K$ ein abelscher Zahlkörper, d. h. $K/\mathbb {Q}$ eine endliche, galoissche Körpererweiterung mit abelscher Galoisgruppe. (Nach dem Satz von Kronecker-Weber ist $K$ Teilkörper eines Kreisteilungskörpers.) Sei nun $K$ in die komplexen Zahlen eingebettet und $K^{+}:=K\cap \mathbb {R}$ der reelle Teilkörper. Sei $h$ die Klassenzahl von $K$ und $h^{+}$ die von $K^{+}$. Dann ist $h^{-}:={\frac {h}{h^{+}}}$ ganzzahlig und heißt die Relativklassenzahl von $K$.

Allgemeiner ist diese Konstruktion möglich für CM-Körper, d. h. imaginärquadratische Erweiterungen total reeller Zahlkörper. Ein Zahlkörper $K$ heißt total reell, wenn das Bild jeder Einbettung $K\to \mathbb {C}$ in $\mathbb {R}$ enthalten ist. "CM" steht für complex multiplication und weist auf den Zusammenhang mit abelschen Varietäten mit komplexer Multiplikation hin.

Die Klassenzahlen der Kreisteilungskörper sind für die historischen Beweisansätze des großen fermatschen Satzes von Bedeutung (vgl. Großer fermatscher Satz#Alle regulären Primzahlen sowie reguläre Primzahl). Die Relativklassenzahl taucht in dem Zwischenschritt

    $p\mid h_{p}\iff p\mid h_{p}^{-}\iff p\mid B_{j}\ {\text{für ein}}\ j=2,4,\ldots ,p-3$

auf (vgl. Bernoulli-Zahlen).

