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

Beweis

Es sei die Idealklasse. Die inverse Idealklasse sei durch das Ideal repräsentiert, siehe Fakt. Nach Fakt gibt es ein mit

Dann ist ein Ideal, da ja alle Elemente aus nach multipliziert, und das repräsentiert. Nach Fakt ist