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

  • Thread starter bruno321
  • Start date
  • #1
4
0
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?

Cheers,
 

Answers and Replies

  • #2
256
0
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.
 
  • #3
M + m = n + n.
2m = 2n
m = n
 

Related Threads on Modules: M+M = N+N then M=N

Replies
1
Views
2K
  • Last Post
Replies
18
Views
3K
  • Last Post
Replies
2
Views
10K
Replies
13
Views
1K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
15
Views
1K
  • Last Post
Replies
12
Views
2K
  • Last Post
Replies
2
Views
8K
Top