< Quadratischer Zahlbereich < D ist -5 < Klassengruppe

Es sei , also und . Jede Idealklasse enthält ein Ideal der Norm

so dass nur Ideale mit Norm zu betrachten sind. Ein Ideal mit ist ein Primideal mit . Daher ist

die einzige Möglichkeit. Nach Beispiel ist kein Hauptideal. Daher ist die Idealklassengruppe isomorph zu , wobei das Nullelement durch die Hauptdivisoren (oder Hauptideale) repräsentiert wird und das andere Element durch .

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.