Unitary R-Modules with n-Element Bases Isomorphic

From ProofWiki
Jump to: navigation, search

Theorem

Any two unitary $R$-modules having bases of $n$ elements are isomorphic.


Proof

From Isomorphism from R^n via n-Term Sequence, they are both isomorphic to the $R$-module $R^n$.

$\blacksquare$


Sources