Dedekindbereich/Lokalisierung an maximalem Ideal/Diskreter Bewertungsring/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein Dedekindbereich und sei ein maximales Ideal in .

Dann ist die Lokalisierung

ein diskreter Bewertungsring.

Zum Beweis, Alternativen Beweis erstellen