Integral Closure

- Pure Mathematics -
Algebra Dictionary
The subobject obtained by adjoining to a given subring (or subalgebra) all elements of a containing ring that satisfy a monic polynomial with coefficients in the subring; equivalently, the set of elements integral over the subring.