Results 1 to 11 of 11

Math Help - Torsion 2

  1. #1
    Junior Member
    Joined
    Jun 2011
    Posts
    34

    Torsion 2

    If G is a torsion abeliean group
    Attached Files Attached Files
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21

    Re: Torsion 2

    Quote Originally Posted by jcir2826 View Post
    If G is a torsion abeliean group
    I'll prod you in the right direction with 1., and then we'll work through 2. TOGETHER, ok? You know that M\cong R^m\oplus M_{p_1}\times\cdots M_{p_n} and so by the way Hom reacts with products


    \displaystyle \text{Hom}_R(M,M)\cong \prod_p \text{Hom}_R(M_p,M_p)\oplus\prod_{p\ne q}\text{Hom}_R(M_p,M_q)\oplus \prod_p \text{Hom}_R(M_p,R^m)\oplus\prod_p\text{Hom}_R(R^m  ,M_p)

    So, now, tell me, why do the last three direct summands (groups of direct summands) dissapear?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Jun 2011
    Posts
    34

    Re: Torsion 2

    Is it because the coproducts and summands can be switched? Like on Rotman advanced algebra pg 431
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21

    Re: Torsion 2

    Quote Originally Posted by jcir2826 View Post
    Is it because the coproducts and summands can be switched? Like on Rotman advanced algebra pg 431
    Well, that is true in some sense, by why does that help us? What we really want to show is that each of the three Homs \text{Hom}_R(M_p,M_q), p\ne q, \text{Hom}_R(M_p,R^m), and \text{Hom}_R(R^m,M_p) can be reduced. How can we reduce each of these?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Jun 2011
    Posts
    34

    Re: Torsion 2

    Hey drexel I feel bad cause i know you are trying to help me but I just cant see the answer.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21

    Re: Torsion 2

    Quote Originally Posted by jcir2826 View Post
    Hey drexel I feel bad cause i know you are trying to help me but I just cant see the answer.
    Ok man, so let's see if we can make things easier. What is \text{Hom}_\mathbb{Z}(\mathbb{Z}_5,\mathbb{Z}_7)?
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Junior Member
    Joined
    Jun 2011
    Posts
    34

    Re: Torsion 2

    All the Z-homomorphism from Z_5 to Z_7.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21

    Re: Torsion 2

    Quote Originally Posted by jcir2826 View Post
    All the Z-homomorphism from Z_5 to Z_7.
    Right. But what is it isomorphic to? I think you need to play around with some examples before you tackle this problem man, or your just going to be taking what I say as true--you need to see it for yourself.
    Follow Math Help Forum on Facebook and Google+

  9. #9
    Junior Member
    Joined
    Jun 2011
    Posts
    34

    Re: Torsion 2

    Thanks I get your point.
    Follow Math Help Forum on Facebook and Google+

  10. #10
    Junior Member
    Joined
    Jun 2011
    Posts
    34

    Re: Torsion 2

    Hom_z(Z_5,Z_7) is isomorphic to Z_7. I am still not sure why the last three summans can be reduced. Can it be since there is an isomorphism from the from Hom(diret product of M_p) to direct sum (M_p,R^m)
    Follow Math Help Forum on Facebook and Google+

  11. #11
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21

    Re: Torsion 2

    Quote Originally Posted by jcir2826 View Post
    Hom_z(Z_5,Z_7) is isomorphic to Z_7. I am still not sure why the last three summans can be reduced. Can it be since there is an isomorphism from the from Hom(diret product of M_p) to direct sum (M_p,R^m)
    \text{Hom}(\mathbb{Z}_5,\mathbb{Z}_7)\cong\{0\}. Do you see why this is now true? Think about torsion, etc. etc. See if you can then use this to see why our problem is reuced?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Torsion
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: December 3rd 2011, 07:09 PM
  2. Torsion
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: December 11th 2010, 02:17 PM
  3. Torsion of the curve
    Posted in the Calculus Forum
    Replies: 0
    Last Post: October 26th 2009, 04:09 AM
  4. Torsion
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: October 25th 2009, 08:43 AM
  5. Non-torsion elements
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: June 8th 2009, 11:44 PM

Search Tags


/mathhelpforum @mathhelpforum