Kommutative Ringtheorie/Ganzheit/Ganzer Abschluss/Ring/Fakt

Es seien und kommutative Ringe und sei eine Ringerweiterung.

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