Zahlbereich/Ordnung an Primstelle/Erste Eigenschaften/Fakt

Es sei ${}R$ ein Zahlbereich und ${}{\mathfrak {p}}\neq 0$ ein Primideal in ${}R$ . Dann hat die Ordnung an ${}{\mathfrak {p}}$ , also die Abbildung

R\setminus \{0\}\longrightarrow \mathbb {N} ,\,f\longmapsto \operatorname {ord} _{\mathfrak {p}}\,(f),

folgende Eigenschaften.

${}\operatorname {ord} _{\mathfrak {p}}\,(fg)=\operatorname {ord} _{\mathfrak {p}}\,(f)+\operatorname {ord} _{\mathfrak {p}}\,(g)$ .
${}\operatorname {ord} _{\mathfrak {p}}\,(f+g)\geq {\min {\left(\operatorname {ord} _{\mathfrak {p}}\,(f),\operatorname {ord} _{\mathfrak {p}}\,(g)\right)}}$ .
Es ist ${}f\in {\mathfrak {p}}$ genau dann, wenn ${}\operatorname {ord} _{\mathfrak {p}}\,(f)\geq 1$ .