Integrally closed domain (source code)

= Integrally closed domain
{wiki=Integrally_closed_domain}

An integral domain is integrally closed when every element of its fraction field that is integral over the domain already belongs to the domain.