Dedekindbereich/Divisor/Definition

Divisor

Es sei ein Dedekindbereich. Ein Divisor ist eine formale Summe

die sich über alle Primideale aus erstreckt und wobei ganze Zahlen mit für fast alle sind.