Dedekindbereich/Lokalisierung an maximalem Ideal/Diskreter Bewertungsring/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Die Lokalisierung ist lokal nach Fakt, so dass es lediglich die beiden Primideale und gibt. Ferner ist noethersch. Da normal ist, ist nach Fakt auch die Lokalisierung normal. Wegen Fakt ist ein diskreter Bewertungsring.

Zur bewiesenen Aussage