integrally closed
A subring of a commutative ring is said to be integrally closed![]()
in if whenever and is integral over , then .
The integral closure![]()
of in is integrally closed in .
An integral domain![]()
is said to be integrally closed (or ) if it is integrally closed in its fraction field.