Finite-module criterion for integrality ($A[x]\text{ finite over }A$)

An element $x$ of an $A$-algebra is an integral element precisely when $A[x]$ is a finite $A$-module. More generally, a finite $A$-submodule containing one and stable under multiplication by $x$ proves integrality by the determinant trick. Conversely a monic polynomial equation reduces all powers of $x$ to finitely many generators.