Dedekindbereich/Primideal/Ordnung/Definition

Ordnung an Primstelle

Es sei ${}R$ ein Dedekindbereich,  ${}{\mathfrak {p}}\neq 0$  ein Primideal in ${}R$ und  ${}f\in R$,   ${}f\neq 0$.  Dann heißt die Ordnung ${}\operatorname {ord} \,(f)$ im diskreten Bewertungsring ${}R_{\mathfrak {p}}$ die Ordnung von ${}f$ am Primideal ${}{\mathfrak {p}}$ (oder an der Primstelle ${}{\mathfrak {p}}$ oder in ${}R_{\mathfrak {p}}$). Sie wird mit ${}\operatorname {ord} _{\mathfrak {p}}\,(f)$ bezeichnet.