# Problem Of The Week # 313 - Jul 03, 2018

Status
Not open for further replies.

#### Euge

##### MHB Global Moderator
Staff member
Here is this week's POTW:

-----
If $R$ is a nonzero commutative ring such that the direct sums $R^m$ and $R^n$ are isomorphic, show that $m = n$.

-----

Let $\mathfrak{m}$ be a maximal ideal of $R$, and consider the residue field $k := R/\mathfrak{m}$. If $f : R^m \to R^n$ is an isomorphism, then it induces an isomorphism $1 \otimes f : k \otimes_R R^m \to k \otimes_R R^n$. Now $k \otimes_R R^m$ and $k\otimes_R R^n$ are $k$-vector spaces of dimensions $m$ and $n$, respectively; since those vector spaces are isomorphic, $m = n$.