Integral element (source code)

= Integral element
{wiki=Integral_element}

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