Idealklassengruppe

aus Wikipedia, der freien Enzyklopädie

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.

Inhaltsverzeichnis 1 Definition (für Dedekindringe) 2 Eigenschaften 3 Verwandte Begriffe 4 Literatur

[Bearbeiten] 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 definiert als die Faktorgruppe

Dabei ist

• J_A die Gruppe der gebrochenen Ideale, d.h. der endlich erzeugten A-Untermoduln von K, die nicht nur die Null enthalten, mit dem Produkt

Die Gruppe J_A ist die freie abelsche Gruppe auf den Primidealen von A.

• P_A die Untergruppe der gebrochenen Hauptideale, d.h. der Untermoduln der Form

für .

Im Fall von Zahlkörpern schreibt man meist für .

Die Äquivalenzklassen der Faktorgruppe können auch explizit so beschrieben werden: Zwei gebrochene Ideale I und J sind äquivalent, wenn es ein Element gibt, so dass I = λJ gilt.

[Bearbeiten] Eigenschaften

• ist genau dann trivial, d.h. die Klassenzahl ist 1, wenn A ein Hauptidealring ist, und das ist äquivalent dazu, dass es in A eindeutige Primfaktorzerlegung gibt.
• Ist A der Ganzheitsring eines algebraischen Zahlkörpers K, so ist endlich.

[Bearbeiten] Verwandte Begriffe

Für einen algebraischen Zahlkörper K gibt es eine Erweiterung H / K, den (kleinen) hilbertschen Klassenkörper. Die Galoisgruppe ist kanonisch isomorph zur Idealklassengruppe, und jedes Ideal von K wird in H zu einem Hauptideal.

[Bearbeiten] Literatur

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