Kommutative Ringtheorie/Ganzheit/Ganzer Abschluss/Ring/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien und kommutative Ringe und sei eine Ringerweiterung.

Dann ist der ganze Abschluss von in eine -Unteralgebra von .

Zum Beweis, Alternativen Beweis erstellen