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

Sources

• 1965: Seth Warner: Modern Algebra ... (previous) ... (next): Chapter $\text {V}$: Vector Spaces: $\S 27$. Subspaces and Bases