Diskreter Bewertungsring/Ordnungsfunktion/Erste Eigenschaften/Fakt
Zur Navigation springen
Zur Suche springen
Einen Beweis erstellen
Sei ein diskreter Bewertungsring mit maximalem Ideal .
Dann hat die Ordnung
folgende Eigenschaften.
- .
- .
- genau dann, wenn .
- genau dann, wenn .