Dedekindbereich/Divisor zu gebrochenem Ideal/Definition

Divisor zum gebrochenen Ideal

Es sei ${}R$ ein Dedekindbereich und ${}{\mathfrak {f}}\neq 0$ ein von ${}0$ verschiedenes gebrochenes Ideal. Dann nennt man den Divisor

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

mit

${}m_{\mathfrak {p}}=\operatorname {min} \left(\operatorname {ord} _{\mathfrak {p}}\,(f){|}f\in {\mathfrak {f}},\,f\neq 0\right)\,$

den Divisor zum gebrochenen Ideal ${}{\mathfrak {f}}$.