Finitely generated modules over a PID isomorphism
Let $M, N, P$ be finitely generated modules over a PID.
- Show that if $M⊕M≅N⊕N$, then $M≅N$.
- Show that if $M⊕P≅N⊕P$, then $M≅N$.
Answer
Answers can only be viewed under the following conditions:
- The questioner was satisfied with and accepted the answer, or
- The answer was evaluated as being 100% correct by the judge.
1 Attachment
![Dtatdm](https://matchmaticians.com/storage/user/100797/thumb/AGNmyxaen7zedKfL_ElVPOiEsspjfDRPH6RaXQVqsb_Bqw-avatar-512.jpg)
45
-
Hey, just so it's clear, in the 9th line of the first page what does it say after the "with"? Also, 6th line of the second page it says "q_i,M arrow q_j,N" right?
-
With $q_{i,\cdot}=q_{i',\cdot}$, just that we are pairing off the two copies of each elementary divisor. And in the second page, yes. If we map one elementary divisor of M to a another in N then we map the corresponding paired one in M to the corresponding paired one in N.
The answer is accepted.
Join Matchmaticians Affiliate Marketing
Program to earn up to a 50% commission on every question that your affiliated users ask or answer.
- answered
- 621 views
- $10.00
Related Questions
- Prove that a reduced Gorenstein ring of Krull dimension 1 is not a complete intersection ring.
- Study of Affine Group
- [Modules] Show that Q/Z is injective and not projective
- [Modules] Show that $h_3$ is injective given comutative diagram
- Tensor Product
- Mean Value Theorem
- Elementary group theory and number theory questions involving prime numbers, permutation groups and dihedral groups. Introduction to number theory questions
- Abstract Algebra : Commutativity and Abelian property in Groups and Rings