Results 1 to 5 of 5

Math Help - abstract algebra help: commutator subgroups

  1. #1
    Newbie
    Joined
    Apr 2013
    From
    Los Angeles
    Posts
    10

    abstract algebra help: commutator subgroups

    Let G be a finite non-abelian group with no elements of order 2, and let H be a normal subgroup containing the commutator subgroup of G. Show that the product of all elements of G (written in any order) lies in H.

    I am really lost! I would start by stating that: Since H is normal and contains the commutator subgroup of G then G/H is a commutative group. So abH = aH bH = bH aH = baH.

    but I don't really know where to go from here
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member
    Joined
    Dec 2012
    From
    Athens, OH, USA
    Posts
    709
    Thanks
    294

    Re: abstract algebra help: commutator subgroups

    I think you're almost there. In a finite abelian group G, let x be the product of all elements of G. Prove x^{-1}=x. (If you can't do this, post again for help.) Then if G has no elements of order 2, x = 1. Now compute in G/H.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Apr 2013
    From
    Los Angeles
    Posts
    10

    Re: abstract algebra help: commutator subgroups

    but G is supposed to be a finite-non abelain group

    i tried to finish the proof I added this, do you think this is complete or am I still missing something?


    You can pair up every g in G with it's inverse g^-1, and since G has no elements of order 2 then g <> g^-1. So the number of elements in G is of the form 2r + 1, where r is the number of pairs (g,g^-1) and 1 is for the identity.

    Write P = product of all elements in G (in any arbitrary order). Then PH = product of the gH across all g in G in the order given by P. Since G/H is abelian then we can reorder the product of the gH's so that they cancel out with their inverses, ie, move each gH next to g^-1H then multiply to get (gg^-1)H = H. In so doing we have PH = H, which means that P is in H, and we're done.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Apr 2013
    From
    Los Angeles
    Posts
    10

    Re: abstract algebra help: commutator subgroups

    do u think this is complete or would you explain it differently?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Super Member
    Joined
    Dec 2012
    From
    Athens, OH, USA
    Posts
    709
    Thanks
    294

    Re: abstract algebra help: commutator subgroups

    Hi,
    Yes, it looks like a valid proof to me. In fact, easier than what I had in mind in my previous post.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 2
    Last Post: April 7th 2013, 09:32 AM
  2. abstract algebra subgroups of finite index
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 2nd 2013, 05:42 PM
  3. abstract algebra: subgroups question
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: March 9th 2013, 02:46 PM
  4. Abstract Algebra: subgroups and order proof
    Posted in the Advanced Algebra Forum
    Replies: 8
    Last Post: November 10th 2010, 02:38 AM
  5. Abstract Algebra II: Normal Subgroups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: September 7th 2010, 07:35 PM

Search Tags


/mathhelpforum @mathhelpforum