total integral closure
A commutative unitary ring is said to be totally integrally closed
![]()
if it does not have an overring which is both an integral and an essential extension of .
All totally integrally closed rings are reduced (http://planetmath.org/ReducedRing).
Suppose that is any commutative ring and that is an integral and essential extension of . If is a totally integrally closed ring, then is called a total integral closure of .
For fields the concept totally integrally closed, integrally closed and algebraically closed![]()
coincide.
Let be an integral domain![]()
, then its total integral closure is the integral closure
![]()
of in the algebraic closure of .
Enochs has first proven that all commutative reduced rings have total integral closure and this is unique up to ring isomorphism.