Dedekindbereich/Element/Hauptdivisor/Definition

Hauptdivisor zu Ringelement

Es sei ${}R$ ein Dedekindbereich und ${}f\in R$, ${}f\neq 0$. Dann heißt die Abbildung, die jedem Primideal ${}{\mathfrak {p}}\neq 0$ in ${}R$ die Ordnung ${}\operatorname {ord} _{\mathfrak {p}}\,(f)$ zuordnet, der durch ${}f$ definierte Hauptdivisor. Er wird mit ${}\operatorname {div} {\left(f\right)}$ bezeichnet und als formale Summe

${}\operatorname {div} {\left(f\right)}=\sum _{\mathfrak {p}}\operatorname {ord} _{\mathfrak {p}}\,(f)\cdot {\mathfrak {p}}\,$

geschrieben.