Zahlbereich/Klassengruppe/Vertreter mit beschränkter Norm für Idealklasse/Fakt

Es sei ${}R$ ein Zahlbereich mit Diskriminante ${}\triangle$ und mit ${}s$ Paaren von komplexen Einbettungen. Dann enthält jede Idealklasse aus der Klassengruppe ein Ideal ${}{\mathfrak {a}}\subseteq R$, das die Normschranke

${}N({\mathfrak {a}})\leq \left({\frac {2}{\pi }}\right)^{s}{\sqrt {\vert {\triangle }\vert }}\,$

erfüllt.

Zum Beweis, Alternativen Beweis erstellen