Solution (source code)

= Solution

An element $x\in B$ is <integral element>[integral over $A$] when it satisfies a monic polynomial with coefficients in $A$. Equivalently, $A[x]$ is a finite $A$-module.