Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Modules: M+M = N+N then M=N

  1. Dec 9, 2009 #1
    Hi. I'm trying to prove this "little fact": let M, N be finitely generated modules over a PID. Then if M+M=N+N (where = means isomorphism and + means direct sum) then M=N.

    I'm sure it can be done with the structure theorem (it is obvious from the hypotheses); it looks like it should be trivially proven, but alas, I don't think it can be.

    What do you think?

  2. jcsd
  3. Dec 9, 2009 #2
    EDIT: this isn't true the way I originally thought it was....thinking harder!

    Well it's certainly not true without the finitely generated over a PID hypothesis (just think about free abelian groups of infinite rank), so I'm guessing it's some particular property of finitely generated modules over PIDs. The structure theorem immediately comes to mind.
  4. Dec 11, 2009 #3
    M + m = n + n.
    2m = 2n
    m = n
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook