Theorie der Bewertungsringe/Bewertungsring/Definition

Bewertungsring zu einer Bewertung

Es sei ${}\nu$ eine Bewertung auf einem Körper ${}K$. Dann ist

${\left\{x\in K^{\times }\mid \nu (x)\geq 0\right\}}\cup \{0\}$

ein Unterring von ${}K$, der sogenannte Bewertungsring von ${}\nu$.