Integral element

Integrally closed domain

An integral domain with field of fractions is integrally closed iff is integral over iff . #m/def/ring This motivates the integral closure

which in this case is the ring of integers of the field of fractions . Thus is integrally closed iff it equals its integral closure.

See also

• Dedekind domain, which is defined to be integrally closed.

#state/develop | #lang/en | #SemBr