1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

If every element of G/H has finite order, and every element of H has finite order

  1. Jul 7, 2012 #1
    Proposition: If every element of G/H has finite order, and every element of H has finite order, then every element of G has finite order.

    Proof: Let G be a group with normal subgroup H. Suppose that every element of G/H has finite order and that every element of H has finite order. We wish to show that every element of G has finite order. Let x be any element in G. Now, Hx is in G/H and by our assumption has finite order. Let n be the order of Hx. Then (Hx)n=Hxn=H. Since Hxn=H, xn ε H.* Now the element xn is in H and therefore has finite order. Let m be the order of xn. Thus xnm=e**, which implies that x in G has finite order.

    QED

    *Ha=H iff a ε H.

    **This does not mean that mn is the order of x. There are two possibe cases. The first case is that mn is the order of x. The other case is that mn is a multiple of the order of x. But, in either case we see that the order of x in G is finite.

    _____________________________________________

    Do I have the right idea? Also, if correct, should a remark like ** be included in the proof. This is how I did the proof in my notes. I usually do the ** remark as a comment to myself to justify a statement.

    Thanks!! =)
     
  2. jcsd
  3. Jul 7, 2012 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Re: If every element of G/H has finite order, and every element of H has finite order

    That's good!!

    A remark like ** is not really needed in the proof. However, it is an interesting remark and it's good that you noticed it. A nice question would be to exhibit an actual example where mn is not the order (if such an example exists).
     
  4. Jul 7, 2012 #3
    Re: If every element of G/H has finite order, and every element of H has finite order

    Thanks Micromass! :) I have a quick question for you. After a thoughout treatment of Pinter's book [which by the way has a massive amount of exercises of which I am trying to do everyone] and Lang's Linear Algebra, would one be ready for something like Artin? Again, thank you so much for all your help!
     
  5. Jul 7, 2012 #4

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Re: If every element of G/H has finite order, and every element of H has finite order

    Without a doubt, you'll be ready. Artin is the perfect follow-up book for Pinter. And if you managed to get through Lang, then Artin should not really be much a problem.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook