Dedekindbereich/Effektiver Divisor/Definition

Effektiver Divisor

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

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

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