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$ aus ${}R$ erstreckt und wobei ${}n_{\mathfrak {p}}$ natürliche Zahlen sind mit ${}n_{\mathfrak {p}}=0$ für fast alle ${}{\mathfrak {p}}$.