Definition:Finite Algebra over Ring

Definition
Let $A$ be a commutative ring with unity.

Let $B$ be an $A$-algebra.

Then $B$ is finite over $A$ its underlying module is finitely generated.

Also see

 * Definition:Finite Ring Homomorphism

Special case

 * Definition:Finite Field Extension