Welcome to our community

Be a part of something great, join today!

Problem Of The Week # 313 - Jul 03, 2018

Status
Not open for further replies.
  • Thread starter
  • Moderator
  • #1

Euge

MHB Global Moderator
Staff member
Jun 20, 2014
1,925
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$.

-----

Remember to read the POTW submission guidelines to find out how to submit your answers!
 
  • Thread starter
  • Moderator
  • #2

Euge

MHB Global Moderator
Staff member
Jun 20, 2014
1,925
No one answered this week’s problem. You can read my solution below.

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$.
 
Status
Not open for further replies.