Integral element (source code)

= Integral element
{wiki}

An element $a$ of an $R$-algebra is integral over $R$ when it satisfies a monic polynomial with coefficients in $R$.