Diskreter Bewertungsring/Ordnungsfunktion/Erste Eigenschaften/Fakt

Es sei ${}R$ ein diskreter Bewertungsring mit maximalem Ideal  ${}{\mathfrak {m}}=(p)$. 

Dann hat die Ordnung

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

folgende Eigenschaften.

1.  ${}\operatorname {ord} \,(fg)=\operatorname {ord} \,(f)+\operatorname {ord} \,(g)$. 
2.  ${}\operatorname {ord} \,(f+g)\geq \operatorname {min} \left(\operatorname {ord} \,(f),\,\operatorname {ord} \,(g)\right)$. 
3. Es ist  ${}f\in {\mathfrak {m}}$  genau dann, wenn  ${}\operatorname {ord} \,(f)\geq 1$  ist.
4. Es ist  ${}f\in R^{\times }$  genau dann, wenn  ${}\operatorname {ord} \,(f)=0$  ist.

Einen Beweis erstellen