Uniqueness of Rank of Free Modules Over Commutative Rings

From Queer Beagle Wiki

Theorem

Let \(R\) be a commutative ring with \(1 \ne 0\) and let M be a free R-module. If A and B are both bases for M, then A and B have the same cardinality, meaning that there exists a bijection \(A → B\).