Kommutative Ringtheorie/Ganzheit/Ganz-abgeschlossen/Definition

Ganz-abgeschlossen

Es seien ${}R$ und ${}S$ kommutative Ringe und ${}R\subseteq S$ eine Ringerweiterung. Man nennt ${}R$ ganz-abgeschlossen in ${}S$, wenn der ganze Abschluss von ${}R$ in ${}S$ gleich ${}R$ ist.