Dedekindbereich/Ideal zu effektivem Divisor/Definition
Ideal zu einem effektiven Divisor
Es sei ein Dedekindbereich und
ein effektiver Divisor (wobei durch die Menge der Primideale läuft). Dann nennt man
das Ideal zum Divisor . Es wird mit bezeichnet.