Integraler Abschluss

Der Unterobjekt, das durch Hinzunahme aller Elemente einer umgebenden Ringes entsteht, die eine normierte (monische) Polynomgleichung mit Koeffizienten im gegebenen Unterring erfüllen; kurz: die Menge der über dem Unterring integralen Elemente.