- #1
bruno321
- 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,
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,