Dedekindbereich/Quotientenkörper/Divisor/Effektivität/Aufgabe

Aus Wikiversity

Es sei ein Dedekindbereich mit Quotientenkörper und sei . Zeige, dass genau dann gilt, wenn der Hauptdivisor effektiv

ist.