Dedekindbereich/Lokalisierung an maximalem Ideal/Diskreter Bewertungsring/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Dedekindbereich und sei ein maximales Ideal in .

Dann ist die Lokalisierung

ein diskreter Bewertungsring.