Kommutative Ringtheorie/Ganzheit/Ganzer Abschluss/Ring/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Seien und kommutative Ringe und eine Ringerweiterung.

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

Zum Beweis, Alternativen Beweis erstellen