Definition:Dimension of Module

From ProofWiki
Jump to navigation Jump to search


Let $R$ be a ring with unity.

Let $G$ be a unitary $R$-module which has a basis of $n$ elements.

Then $G$ is said to have a dimension of $n$ or to be $n$-dimensional.


The dimension of a unitary module $M$ is denoted on $\mathsf{Pr} \infty \mathsf{fWiki}$ as $\map \dim M$.

Finite Dimensional Module

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

Then $G$ is finite dimensional.

Also see