Integrally closed domain (source code)

= Integrally closed domain
{wiki}

= Normal domain
{synonym}

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