Dedekindbereich/Divisor/Definition

Divisor

Es sei ${}R$ ein Dedekindbereich. Ein 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}}$ ganze Zahlen mit  ${}n_{\mathfrak {p}}=0$  für fast alle ${}{\mathfrak {p}}$ sind.