Es sei ${\displaystyle {}R}$ ein Dedekindbereich. Ein effektiver Divisor ist eine formale Summe

${\displaystyle \sum _{\mathfrak {p}}n_{\mathfrak {p}}\cdot {\mathfrak {p}},}$

die sich über alle Primideale ${\displaystyle {}{\mathfrak {p}}\neq 0}$ aus ${\displaystyle {}R}$ erstreckt und wobei ${\displaystyle {}n_{\mathfrak {p}}}$ natürliche Zahlen sind mit ${\displaystyle {}n_{\mathfrak {p}}=0}$ für fast alle ${\displaystyle {}{\mathfrak {p}}}$.