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

1. Jul 7, 2012

### jmjlt88

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. Jul 7, 2012

### micromass

Staff Emeritus
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).

3. Jul 7, 2012

### jmjlt88

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!

4. Jul 7, 2012

### micromass

Staff Emeritus
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.