Dedekindbereich/Faktoriell/Hauptdivisor/Bemerkung

Es sei ein faktorieller Dedekindbereich. Dann lässt sich der Hauptdivisor zu einem Ringelement , , unmittelbar aus der Primfaktorzerlegung ablesen. Wenn

mit einer Einheit und paarweise nicht assoziierten Primelementen ist, so ist der Hauptdivisor zu gleich

Dies beruht einfach darauf, dass die Ordnung von in der Lokalisierung gleich ist.