Diskreter Bewertungsring/Ordnungsfunktion/Erste Eigenschaften/Fakt

Aus Wikiversity

Es sei ein diskreter Bewertungsring mit maximalem Ideal .

Dann hat die Ordnung

folgende Eigenschaften.

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