Integrally closed domain
An integral domain equal to its integral closure in its fraction field.
Integrally closed domain
Let be an integral domain with fraction field .
Definition
is integrally closed if every element of that is integral over already lies in . Equivalently,
where is the integral closure of in .
Remarks
- Many “nice” domains are integrally closed; for instance, every UFD is integrally closed (in particular, every PID is integrally closed).
- Integrally closed is one of the defining conditions of a Dedekind domain .
Examples
.
is integrally closed in .Polynomial rings.
If is a field, then is a UFD, hence integrally closed in its fraction field .A non-example: .
Let . Then is integral over (since and satisfies ) but .
Thus is not integrally closed; its integral closure in is .