Dedekindbereich/Durchschnitt von diskreten Bewertungsringen/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Nach Fakt ist

wobei durch alle maximalen Ideale von läuft. Nach Fakt sind die beteiligten Lokalisierungen allesamt diskrete Bewertungsringe.

Zur bewiesenen Aussage