Zum Inhalt springen

Dedekindbereich/Ideale und Divisoren/Umfassen und teilen/Fakt/Beweis

Aus Wikiversity
Beweis

Die Implikation „“ gilt in beliebigen kommutativen Ringen. Die andere Implikation ist richtig, wenn ist. Wir können also annehmen, dass die beteiligten Ideale von verschieden sind. Die Bedingung impliziert nach Fakt  (3), dass ist. Somit ist

mit einem effektiven Divisor . Nach Fakt übersetzt sich dies zurück zu , sodass mit die rechte Seite erfüllt ist.