Diskreter Bewertungsring/Ordnungsfunktion/Erste Eigenschaften/Fakt/Beweis/Aufgabe

Aus Wikiversity

Es sei ein diskreter Bewertungsring mit maximalem Ideal . Zeige, dass die Ordnung

folgende Eigenschaften besitzt.

  1. .
  2. .
  3. Es ist genau dann, wenn ist.
  4. Es ist genau dann, wenn ist.