Diskreter Bewertungsring/Ordnungsfunktion/Erste Eigenschaften/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein diskreter Bewertungsring mit maximalem Ideal .

Dann hat die Ordnung

folgende Eigenschaften.

  1. .
  2. .
  3. genau dann, wenn .
  4. genau dann, wenn .
Einen Beweis erstellen