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!

Homework Help: Quotient groups related problem

  1. Jun 1, 2010 #1
    1. The problem statement, all variables and given/known data

    Let G be a finite group and N[tex]\triangleleft[/tex]G such that |N| = n, and gcd(n,[G:N]) = 1.
    Proof that if x[tex]^{n} = e[/tex] then x[tex]\in[/tex]N.

    2. Relevant equations


    3. The attempt at a solution

    I defined |G| = m and and tried to find an integer which divides both n and m/n.
    I went for some X which is not in N, for which X^n = e.
    I defined o(X) = q and then q | n.
    No luck showing that q | m/n.

    Any other ideas?

    Thanks ahead,
    Last edited: Jun 1, 2010
  2. jcsd
  3. Jun 1, 2010 #2
    This is not true! Take some subgroup H of the Klein group K of order 2. It is normal as K is abelian. K/H also has order 2, and so gcd(H,[K:H]) = 2. But there is certainly an element of order 2 in K that is not in H.

    Did you mean to write that the gcd is 1?
  4. Jun 1, 2010 #3
    Yes I did, sorry for the mistake...
  5. Jun 1, 2010 #4
    Here's a rough sketch:

    Suppose x is not in N. Let M=<x>. If xn=e then M has order dividing n. |MN|=mn/|M[tex]\cap[/tex]N|, where m is the order of M. MN is a subgroup of G by the second (or third, depending on your numbering!) isomorphism theorem. So mn/|M[tex]\cap[/tex]N| divides |G|.

    Now, |G| = tn, where t=[G:N] is coprime to n. So m/|M[tex]\cap[/tex]N| must divide t. But this is impossible, as m divides n, and t is coprime to n. So x is in N.

    As a disclaimer, it's a while since I did any group theory! So you should check all this carefully.
    Last edited: Jun 1, 2010
  6. Jun 1, 2010 #5
    Thanks for the response.

    By stating that M[tex]\cap[/tex]N = <1> did you mean M[tex]\cap[/tex]N = e?
    If so, it seems to me that it is not necessarily true.
    If you meant something else, please elaborate.

  7. Jun 1, 2010 #6
    hmmm..yes, sorry about that. I've modified the argument above. Still no guarantee it is right!

    Yes, when I say <1> I mean e....itis just to distinguish the identity element from the trivial group.
  8. Jun 1, 2010 #7
    Sorry... I still see a problem with the conclusion that mn divides |G|...
  9. Jun 1, 2010 #8
    That was just an error with my previous editing. Hopefully it is fixed now.

    If you spot another problem, try filling in the details yourself...it's the only way to learn! I have done this very much off the cuff, and intended it to be a "suggested method" rather than a full solution to be copied down.
  10. Jun 1, 2010 #9
    Thanks for you help!...
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook