Idealklassengruppe

Die Idealklassengruppe ist ein Begriff aus dem mathematischen Teilgebiet der algebraischen Zahlentheorie. Sie ist ein Maß dafür, wie weit der Ganzheitsring in einem algebraischen Zahlkörper davon entfernt ist, eindeutige Primfaktorzerlegung zu besitzen. Ihre Ordnung wird Klassenzahl genannt.

Definition (für Dedekindringe)

Es sei $A$ ein Dedekindring mit Quotientenkörper $K$, beispielsweise der Ganzheitsring in einem algebraischen Zahlkörper. Dann ist die Idealklassengruppe $\operatorname {Pic} A$ definiert als die Faktorgruppe

$\operatorname {Pic} A=J_{A}/P_{A}.$

• $J_{A}$ ist dabei die Gruppe der gebrochenen Ideale, d. h. der endlich erzeugten $A$-Untermoduln von $K$, die nicht nur die Null enthalten, mit dem Produkt

$IJ=\left\{\left.\sum _{i=1}^{n}a_{i}b_{i}\right|a_{i}\in I,b_{i}\in J\right\}$

für $I,J\in J_{A}$. $J_{A}$ ist die freie abelsche Gruppe auf den Primidealen von $A$.

• Und $P_{A}$ ist die Untergruppe der gebrochenen Hauptideale, d. h. der Untermoduln der Form

$(a)=A\cdot a\subset K$

für $a\in K^{\times }$.

Im Fall von Zahlkörpern schreibt man meist $\operatorname {Cl} _{K}$ für $\operatorname {Pic} A$.

Die Äquivalenzklassen der Faktorgruppe können auch explizit so beschrieben werden: Zwei gebrochene Ideale $I$ und $J$ sind äquivalent, wenn es ein Element $\lambda \in K^{\times }$ gibt, sodass $I=\lambda J$ gilt.

Eigenschaften

• $\operatorname {Pic} A$ ist genau dann trivial, d. h. die Klassenzahl ist 1, wenn $A$ ein Hauptidealring ist, und das ist äquivalent dazu, dass es in $A$ eine eindeutige Primfaktorzerlegung gibt.
• Ist $A$ der Ganzheitsring eines algebraischen Zahlkörpers $K$, so ist $\operatorname {Cl} _{K}$ endlich.
• Eine Verallgemeinerung des Konzepts der Idealklassengruppe liefert die algebraische K-Theorie. Wenn $A$ der Ganzheitsring eines algebraischen Zahlkörpers $K$ ist, dann ist $\operatorname {K} _{0}(A)=\mathbb {Z} \oplus \operatorname {Cl} _{K}$.
• Die Klassenzahlformel setzt die Klassenzahl eines Zahlkörpers in Zusammenhang mit dem Residuum seiner Dedekindschen Zeta-Funktion in $1$.

Beispiele und Klassenzahlproblem

Es sei $K$ ein quadratischer Zahlkörper, d. h., $K=\mathbb {Q} ({\sqrt {d}})$ für eine quadratfreie Zahl $d\in \mathbb {Z}$ ($d$ heißt Diskriminante).

Die einzigen negativen quadratfreien Zahlen $d<0$ (imaginär-quadratische Zahlkörper), für die die Idealklassengruppe von $K=\mathbb {Q} ({\sqrt {d}})$ trivial (das heißt gleich 1) ist, sind

$d=-1,-2,-3,-7,-11,-19,-43,-67,-163.$

Das wurde von Carl Friedrich Gauss vermutet und 1952 von Kurt Heegner bewiesen; Heegners Beweis fand allerdings erst nach einer 1967 von Harold Stark veröffentlichten Arbeit Anerkennung. Mit einer ganz anderen Methode wurde das von Alan Baker etwa gleichzeitig mit Stark bewiesen.

Gauß vermutete auch, dass für die Klassenzahl imaginär quadratischer Zahlkörper $h(d)$ gilt $h(d)\to \infty$ für $d\to -\infty$. Das wurde von Hans Heilbronn bewiesen. Gauß stellte auch Vermutungen über die Anzahl der imaginär-quadratischen Zahlkörper mit Klassenzahl 2 und 3 an, die inzwischen ebenfalls bewiesen wurden (ebenso wie die Auflistung der imaginär-quadratischen Zahlkörper bis Klassenzahl 100 durch M. Watkins). Der Fall der Klassenzahl 2 (es gibt genau 18 solche imaginär-quadratische Zahlkörper) wurde 1971 von Stark und unabhängig Baker bewiesen.

Es ist nicht bekannt, ob es unendlich viele positive quadratfreie Zahlen $d>0$ gibt (der Fall reell-quadratischer Zahlkörper mit Klassenzahl 1), für die die Idealklassengruppe von $K=\mathbb {Q} ({\sqrt {d}})$ trivial ist, es gibt aber viele berechnete Beispiele hierfür. Dass es unendlich viele gibt, wurde von Gauß vermutet.

Verwandte Begriffe

Für einen algebraischen Zahlkörper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} gibt es eine Erweiterung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H/K} , den (kleinen) hilbertschen Klassenkörper. Die Galoisgruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Gal}(H/K)} ist kanonisch isomorph zur Idealklassengruppe, und jedes Ideal von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} wird in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} zu einem Hauptideal.

Literatur

• Jürgen Neukirch: Algebraische Zahlentheorie. Springer-Verlag, Berlin 1992. ISBN 3-540-54273-6.