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$.
Abstract Algebra
Matchmaticians Alumnus Matchmaticians Alumnus
211
Report

Answer

Answers can be viewed only if
  1. The questioner was satisfied and accepted the answer, or
  2. The answer was disputed, but the judge evaluated it as 100% correct.
View the answer

1 Attachment

Dtatdm Dtatdm
45
  • Matchmaticians Alumnus Matchmaticians Alumnus
    0

    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?

  • Dtatdm Dtatdm
    0

    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 50% commission on every question your affiliated users ask or answer.