Dedekindbereich/Einheitsgleichung/Inverses Ideal/Aufgabe/Lösung


Wegen

ist unmittelbar

Zum Beweis der anderen Inklusion sei , also mit

Die Bedingung

beinhaltet insbesondere, dass es Elemente und mit

gibt. Somit ist

Wegen

bedeutet dies, dass zu dem von erzeugten gebrochenen Ideal, also zu , gehört.