Relativklassenzahl

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

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

Sei ein abelscher Zahlkörper, d. h. eine endliche, galoissche Körpererweiterung mit abelscher Galoisgruppe. (Nach dem Satz von Kronecker-Weber ist Teilkörper eines Kreisteilungskörpers.) Sei nun in die komplexen Zahlen eingebettet und der reelle Teilkörper. Sei die Klassenzahl von und die von . Dann ist ganzzahlig und heißt die Relativklassenzahl von .

Allgemeiner ist diese Konstruktion möglich für CM-Körper, d. h. imaginärquadratische Erweiterungen total reeller Zahlkörper. Ein Zahlkörper heißt total reell, wenn das Bild jeder Einbettung in 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

auf (vgl. Bernoulli-Zahlen).