From b32012fe9fd453b3fe4523e24c595c985113ece6 Mon Sep 17 00:00:00 2001
From: demleitner <andreas.demleitner@math.uni-freiburg.de>
Date: Wed, 7 Jun 2023 13:05:41 +0200
Subject: [PATCH] =?UTF-8?q?Definition=2011.1.6=20ge=C3=A4ndert?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 11.tex | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/11.tex b/11.tex
index 7885941..1e6e128 100644
--- a/11.tex
+++ b/11.tex
@@ -115,13 +115,14 @@ Es gibt in der Algebra den Begriff der „diskreten Bewertung eines Körpers“.
 
 \begin{defn}[Diskrete Bewertung eines Körpers]
   Es sei $k$ ein Körper.  Eine \emph{diskrete Bewertung}\index{diskrete
-    Bewertung} ist eine Abbildung $ν: K∖ \{ 0 \} → ℤ$, dass für alle $x,y ∈ k ∖
-    \{ 0 \}$ folgendes gilt.
+    Bewertung} ist eine surjektive Abbildung $ν: K → ℤ ∪ \{∞\}$, dass für alle $x,y ∈ k$ folgendes gilt.
   \begin{itemize}
+  \item Es ist $ν(x) = ∞$ genau dann, wenn $x = 0$.
   \item Es ist $ν(x·y) = ν(x) + ν(y)$.
     
   \item Es ist $ν(x + y) ≥ \min \bigl\{ ν(x), ν(y) \bigr\}$.
   \end{itemize}
+Dabei gelten die üblichen Rechenregeln $∞ + ∞ = ∞$ und $∞ + n = ∞$ sowie $∞ ≥ n$ für alle $n ∈ ℤ$.
 \end{defn}
 
 \begin{bsp}[Null- und Polstellenordnung]\label{bsp:11-1-6}%