Zum Inhalt springen

Quadratischer Zahlbereich/D ist -5/Klassengruppe/Beispiel

Aus Wikiversity

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

sodass 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 .