Lemma 10.15.8. Let $R$ be a nonzero ring. Let $n, m \geq 0$ be integers. If $R^{\oplus n}$ is isomorphic to $R^{\oplus m}$ as $R$-modules, then $n = m$.
The rank of a finite free module is well defined.
Lemma 10.15.8. Let $R$ be a nonzero ring. Let $n, m \geq 0$ be integers. If $R^{\oplus n}$ is isomorphic to $R^{\oplus m}$ as $R$-modules, then $n = m$.
Proof. Immediate from Lemma 10.15.7. $\square$
Comments (0)
There are also: