Definition:Dimension of Module/Finite

Definition
Let $G$ be a (unitary) module which is $n$-dimensional for some $n \in \N_{>0}$.

Then $G$ is finite dimensional.

Also see

 * Bases of Finitely Generated Free Module have Equal Cardinality