Es seien R {\displaystyle {}R} und S {\displaystyle {}S} kommutative Ringe und sei R ⊆ S {\displaystyle {}R\subseteq S} eine Ringerweiterung.
Dann ist der ganze Abschluss von R {\displaystyle {}R} in S {\displaystyle {}S} eine R {\displaystyle {}R} -Unteralgebra von S {\displaystyle {}S} .
