Results 1 to 2 of 2

Math Help - Subgroup proof

  1. #1
    Super Member
    Joined
    Feb 2008
    Posts
    535

    Subgroup proof

    Assume that H and K are subgroups of a group G and that K is normal in G. Then
    HK is a subgroup of G, where

    HK = {hk | h e H, k e K}


    Thanks for any help
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Rhymes with Orange Chris L T521's Avatar
    Joined
    May 2008
    From
    Chicago, IL
    Posts
    2,844
    Thanks
    3
    Quote Originally Posted by jzellt View Post
    Assume that H and K are subgroups of a group G and that K is normal in G. Then
    HK is a subgroup of G, where

    HK = {hk | h e H, k e K}


    Thanks for any help
    First note that e\in HK (easy to verify).

    Let h_1k_1, h_2k_2\in HK, we seek to show that (h_1k_1)(h_2k_2)^{-1}\in HK

    So (h_1k_1)(h_2k_2)^{-1}=h_1k_1k_2^{-1}h_2^{-1}.

    Now, we see that h_1k_1k_2^{-1}h_2^{-1}=(h_1h_2^{-1})(h_2 k_1k_2^{-1}h_2^{-1}). Observe that h_1h_2^{-1}\in H and since K\lhd G, h_2(k_1k_2^{-1})h_2^{-1}\in K.

    Thus (h_1k_1)(h_2k_2)^{-1}\in HK\implies HK\leq G.

    Does this make sense?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Subgroup Proof
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 14th 2011, 03:24 PM
  2. proof about the order of subgroup
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: April 25th 2011, 06:14 AM
  3. Subgroup proof check
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: April 12th 2011, 01:25 AM
  4. normal subgroup proof
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: October 17th 2010, 06:06 PM
  5. Subgroup proof is this right?
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: November 3rd 2009, 08:35 PM

Search Tags


/mathhelpforum @mathhelpforum