Bases of Finitely Generated Free Module have Equal Cardinality
Jump to navigation
Jump to search
Theorem
Let $R$ be a commutative ring with unity.
Let $M$ be finitely generated.
Let $B$ and $C$ be bases of $M$.
Then $B$ and $C$ are finite and have the same cardinality.
Proof