Diskreter Bewertungsring/Ordnung/Fortsetzung auf Quotientenkörper/Aufgabe

Es sei ${}R$ ein diskreter Bewertungsring. Definiere zu einem Element ${}q\in Q(R)$, ${}q\neq 0$, die Ordnung

${}\operatorname {ord} \,(q)\in \mathbb {Z} \,.$

Dabei soll die Definition mit der Ordnung für Elemente aus ${}R$ übereinstimmen und einen Gruppenhomomorphismus ${}Q(R)\setminus \{0\}\rightarrow \mathbb {Z}$ definieren. Was ist der Kern dieses Homomorphismus?

Eine Lösung erstellen