~2025-41991-97: /* Eigenschaften */

2025-12-22T15:10:51Z

Eigenschaften

Neue Seite

Sei <math>K</math> ein [[algebraischer Zahlkörper]]. Dann ist seine '''Klassenzahl''' <math>h_K</math> die Ordnung der (stets endlichen) [[Idealklassengruppe]] von <math>K</math>.

== Zahlentheoretische Bedeutung ==
Möchte man eine Gleichung <math>F(x)=1 </math> über einem Zahlkörper lösen, so ist eine mögliche Strategie, die Gleichung über der Idealgruppe <math>I_K</math> und der Idealklassengruppe <math> Cl_K </math> zu lösen. Ist 1 die einzige Lösung über der Idealklassengruppe, so ist jedes Ideal <math> \mathfrak{a} </math> mit <math> F(\mathfrak{a})=1 </math> ein Hauptideal: <math> \mathfrak{a}=(\alpha) </math>. Diese Zahl <math> \alpha </math> löst die ursprüngliche Gleichung modulo [[Einheitengruppe|Einheiten]].

Um die Gleichung über <math> Cl_K </math> zu lösen, genügt es, die Struktur von <math> Cl_K </math> als abelsche Gruppe zu kennen. In den meisten Fällen genügt sogar die Kenntnis der Primfaktorzerlegung von <math> h_K </math> (z. B. <math> x^n = 1 \Rightarrow x=1 </math> für <math> (n,h_K)=1 </math> oder: <math> x^n=1</math>, falls <math> h_K | n </math>).

Aus diesem Grund ist die Bestimmung der Idealklassenzahl eine der zentralen Aufgaben der Zahlentheorie.

=== Beispiel Kreisteilungskörper und fermatsche Vermutung ===
In den frühen Beweisversuchen zur [[Großer fermatscher Satz|Fermatschen Vermutung]] ging man stillschweigend davon aus, dass die für dieses Problem wichtigen [[Kreisteilungskörper]] <math>\mathbb{Q}(\zeta_p)</math> (mit <math>p</math> dem jeweiligen Exponenten in der Fermatgleichung und <math>\zeta_p</math> einer primitiven <math>p</math>-ten [[Einheitswurzel]]) eine eindeutige Primfaktorzerlegung hätten (Klassenzahl 1), was durch [[Ernst Eduard Kummer]] widerlegt wurde. Kummer führte neue algebraische Objekte ein, die [[Ideal (Ringtheorie)|Ideale]], und konnte so die Beweise für eine große Klasse von Kreisteilungskörpern retten, indem er vom Rechnen mit den algebraischen Zahlen selbst zum Rechnen mit denjenigen Teilmengen der Zahlen des algebraischen Zahlkörpers überging, die die Ideale bilden. Die Kreisteilungskörper, für die er die Fermatsche Vermutung beweisen konnte, hatten ein <math>p</math>, das eine [[reguläre Primzahl]] darstellte, das heißt, sie teilte die Klassenzahl des Kreisteilungskörpers nicht: <math>p \nmid h_{\mathbb{Q}(\zeta_p)}</math>.

Der Spezialfall der fermatschen Vermutung lautete dann:<br>
Sei <math>p</math> eine ungerade reguläre Primzahl. Dann hat die Gleichung
: <math> x^p + y^p = z^p,\quad (xyz,p) = 1</math>
keine ganzzahligen Lösungen.

;Beweisskizze:
: ''Die Gleichung lässt sich umschreiben zu''
:: <math> \prod_{i=0}^{p-1} (x+\zeta_p^i y) = z^p </math>.
: ''Geht man jetzt zu den Idealen von <math> \mathbb{Q}(\zeta_p) </math> über, erhält man, da die Ideale auf der linken Seite teilerfremd sind, die Gleichungen''
:: <math> x + \zeta_p^i y = \mathfrak{a}^p </math>.
: ''Da die Abbildung <math>x \mapsto x^p</math> auf der Idealklassengruppe von <math> \mathbb{Q}(\zeta_p) </math> injektiv ist, erhalten wird daraus die Gleichungen''
:: <math> x + \zeta_p^i y = \epsilon \cdot \alpha^p </math>
: ''mit einer Einheit <math>\epsilon</math>, die man zum Widerspruch führen kann.''

Eine reguläre Primzahl lässt sich auch über [[Bernoullizahl]]en definieren:
: <math> p | h_K \,\Leftrightarrow\, p|B_j \; </math> für ein <math> \; j \in \{2, 4, \dotsc, p-3\} </math>

Sei <math>n > 0</math>. Dann gilt:
: <math> p|h_{\mathbb{Q}(\zeta_p)} \,\Leftrightarrow\, p|h_{\mathbb{Q}(\zeta_{p^n})} </math>

== Beispiel imaginärquadratischer Zahlkörper und Gaußsches Klassenzahlproblem ==
Es gibt genau 9 sogenannte [[Heegner-Zahl]]en <math>d\in\N</math>, für die <math>K=\Q(\sqrt{-d})</math> die Klassenzahl <math>h_K=1</math> hat:
: <math> d = 1,\, 2,\, 3,\, 7,\, 11,\, 19,\, 43,\, 67\, </math> und <math>\, 163</math>.
Sie stellen die Lösung des Gaußschen Klassenzahlproblems für [[Imaginärquadratischer Zahlkörper|imaginärquadratische Zahlkörper]] dar – der Frage, welche imaginär-quadratischen Zahlkörper die Klassenzahl 1 haben, das heißt eindeutige Primfaktorzerlegung. Die Lösung stammt von [[Kurt Heegner]].

== Eigenschaften ==
* [[Klassenzahlformel]]: Für die Klassenzahl <math>h_K</math> gilt:
:: <math> \lim_{s\to 1} (s-1)\zeta_K(s) \,=\, \frac{2^{r_1}\cdot(2\pi)^{r_2}\cdot h_K\cdot \operatorname{Reg}_K}{w_K \cdot \sqrt{\mid D_K \mid}} </math>
:Dabei ist <math>w_K</math> die Anzahl der Einheitswurzeln in <math>K</math>, <math>D_K</math> die [[Diskriminante (algebraische Zahlentheorie)|Diskriminante]] der Erweiterung <math>K/\mathbb{Q}</math>, <math>\operatorname{Reg}_K</math> der [[Regulator (Zahlentheorie)|Regulator]] von <math>K</math> und <math>\zeta_K</math> die [[Dedekindsche Zeta-Funktion]] von <math>K</math>.
:Die Klassenzahlformel eignet sich zur praktischen Berechnung der Klassenzahl.
* Sei <math>K|k</math> eine <math>\mathbb{Z}_p</math>-Erweiterung, d. h., <math>\, k = k_0 \subset k_1 \subset \cdots \subset K \, </math> und <math> \, G(k_n|k)\cong \mathbb{Z}/p^n\mathbb{Z} </math>.  Sei ferner <math> p^{e_n} </math> der <math>p</math>-Anteil der Klassenzahl <math>h_{k_n}\!</math>.  Dann gibt es von <math>n</math> unabhängige natürliche Zahlen <math>\lambda</math>, <math>\mu</math>, <math>\nu</math>, sodass <math>e_n = \lambda n + \mu p^n + \nu</math> für hinreichend großes <math>n</math> (siehe: [[Iwasawa-Theorie]]).
* ''[[Vermutung von Vandiver]]'' (nicht allgemein bewiesen, für <math>p < 12 \cdot 10^6</math> verifiziert):
:Sei <math>\, K^+ := \mathbb{Q}(\zeta_p)^+ = \mathbb{Q}(\zeta_p) \cap \mathbb{R}</math>.  Dann ist <math>p</math> kein Teiler von <math>h_{K^+}</math>.

== Siehe auch ==
* [[Relativklassenzahl]]

== Literatur ==
* [[Jürgen Neukirch]]: ''Algebraische Zahlentheorie.'' Springer, Berlin u. a. 1992, ISBN 3-540-54273-6.
* [[Lawrence C. Washington]] ''Introduction to Cyclotomic Fields'' (= ''Graduate Texts in Mathematics.'' Bd. 83). 2nd Edition. Springer, New York NY 1997, ISBN 0-387-94762-0.

[[Kategorie:Algebraische Zahlentheorie]]
[[Kategorie:Körpertheorie]]

Klassenzahl - Versionsgeschichte

~2025-41991-97: /* Eigenschaften */