Results 1 to 5 of 5
Like Tree2Thanks
  • 1 Post By emakarov
  • 1 Post By emakarov

Math Help - Help with a proof: Normal subgroup

  1. #1
    Member
    Joined
    Nov 2012
    From
    israel
    Posts
    164
    Thanks
    2

    Help with a proof: Normal subgroup

    Hi.
    I need to prove:

    H\triangleleft G \Leftrightarrow \forall g\in G,\hspace{5} \forall h\in H:\hspace{5} g^{-1}hg\in H

    So, one direction is quite easy:

    \Rightarrow :
    If H is a subgroup of G, it follows that \forall g\in G: gH=Hg.
    in particular, for every h\in H, gh=hg , so h=g^{-1}hg, \forall g\in G, \forall h\in H.

    but the second direction is not quite clear for me:
    \Leftarrow :
    Since \forall g\in G, \forall h\in H: g^{-1}hg\in H, there exist some h_0\in H, such that g^{-1}hg=h_0
    and then:
    gh_0=hg

    but how do I know that h_0=h?

    Thanks in advance.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785

    Re: Help with a proof: Normal subgroup

    Quote Originally Posted by Stormey View Post
    H\triangleleft G \Leftrightarrow \forall g\in G,\hspace{5} \forall h\in H:\hspace{5} g^{-1}hg\in H

    So, one direction is quite easy:

    \Rightarrow :
    If H is a subgroup of G, it follows that \forall g\in G: gH=Hg.
    You mean, if H is a normal subgroup.

    Quote Originally Posted by Stormey View Post
    in particular, for every h\in H, gh=hg
    gH=Hg does not mean this. It means that sets gH and Hg are equal. Now, gH = {gh | h ∈ H} and Hg = {h'g | h' ∈ H}. For an arbitrary h ∈ H, the fact that gh ∈ {h'g | h' ∈ H} means that there exists some h' ∈ H such that gh = h'g. Similarly, for every h' ∈ H there exists an h such that gh = h'g.
    Thanks from topsquark
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Nov 2012
    From
    israel
    Posts
    164
    Thanks
    2

    Re: Help with a proof: Normal subgroup

    Hi, emakarov.
    thanks for the help.

    Quote Originally Posted by emakarov View Post
    You mean, if H is a normal subgroup.
    Yes, sorry. I meant normal.

    Quote Originally Posted by emakarov View Post
    gH=Hg does not mean this. It means that sets gH and Hg are equal. Now, gH = {gh | h ∈ H} and Hg = {h'g | h' ∈ H}. For an arbitrary h ∈ H, the fact that gh ∈ {h'g | h' ∈ H} means that there exists some h' ∈ H such that gh = h'g. Similarly, for every h' ∈ H there exists an h such that gh = h'g.
    OK, I get now why it's wrong to say that gH=Hg means gh=hg, so then how do I go from "there exists an h such that gh = h'g" to gh=hg for every g in G, and for every h in H?

    **edit

    scrap that last post.
    I got it.
    for some reason I thought that every normal subgroup is abelian...
    Last edited by Stormey; November 27th 2013 at 11:14 AM.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785

    Re: Help with a proof: Normal subgroup

    Quote Originally Posted by Stormey View Post
    how do I go from "there exists an h such that gh = h'g" to gh=hg for every g in G, and for every h in H?
    You don't because gH = Hg does not imply gh = hg for every h ∈ H and g ∈ G. But gh = hg is not required for the proof you need.
    Thanks from Stormey
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Nov 2012
    From
    israel
    Posts
    164
    Thanks
    2

    Re: Help with a proof: Normal subgroup

    Thanks.
    edited my last post.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Herstein: Normal subgroup proof.
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: October 16th 2011, 04:07 PM
  2. normal subgroup proof
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: October 17th 2010, 07:06 PM
  3. normal subgroup proof
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: December 7th 2009, 02:13 PM
  4. Urgent - normal subgroup proof
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: May 16th 2009, 02:28 AM
  5. Factor group/Normal subgroup proof
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: April 29th 2007, 07:50 PM

Search Tags


/mathhelpforum @mathhelpforum