\begin{definition}[Definition:Finite Algebra over Ring]
Let $A$ be a commutative ring with unity.
Let $B$ be an $A$-algebra.
Then $B$ is '''finite''' over $A$ {{iff}} its underlying module is finitely generated.
\end{definition}