Kommutative Ringtheorie/Ganzheit/Ganz-abgeschlossen/Definition

Ganz-abgeschlossen

Es seien und kommutative Ringe und eine Ringerweiterung. Man nennt ganz-abgeschlossen in , wenn der ganze Abschluss von in gleich ist.