Integral closure (source code)

= Integral closure
{wiki}

The integral closure of $R$ in an $R$-algebra $A$ is the subring of elements of $A$ integral over $R$.