Theorie der Bewertungsringe/Bewertung/Definition

Bewertung

Es sei ${}K$ ein Körper und ${}(A,\cdot ,<)$ eine angeordnete abelsche Gruppe. Eine Bewertung auf ${}K$ mit Werten in ${}A$ ist ein Gruppenhomomorphismus ${}\nu :K^{\times }\to A$, so dass für alle ${}x,y\in K^{\times }$ mit ${}x\neq -y$ gilt

${}\nu (x+y)\geq \min\{\nu (x),\nu (y)\}\,.$