 Module-finite ring extension

A ring extension $A\subseteq B$ is module-finite, or finite, when $B$ is a finitely generated $A$-module. Every module-finite extension is integral.