Results 1 to 5 of 5

Math Help - Factor group/Normal subgroup proof

  1. #1
    Junior Member
    Joined
    Feb 2007
    Posts
    70

    Factor group/Normal subgroup proof

    I could use some help on this proof:

    Let N be a normal subgroup of G and let H be a subgroup of G. If N is a subgroup of H, prove that H/N is a normal subgroup of G/N if and only if H is a normal subgroup of G.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Feb 2007
    Posts
    70
    Thanks for the link, but the proof assumes an understanding of homomorphisms which we haven't covered yet (it's actually the next chapter in the book). Could you possibly show me an alternate approach?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by spoon737 View Post
    Thanks for the link, but the proof assumes an understanding of homomorphisms which we haven't covered yet (it's actually the next chapter in the book). Could you possibly show me an alternate approach?
    Yes! I just deleted my link because it was a diaster as an answer. I was just being lazy. I type the proof up real soon right now. Be Patient.

    I will use the following really useful theorem.

    Theorem: Let G be a group and H be a subgroup of G. Then H is a normal subgroup of G if and only if ghg^{-1} in H for all g in G and h in H.

    I will prove only one direction, the one I think is harder. And I leave the second direction which will be very similar as an excersice. I recommend to post your proof of the other direction for me to check it.

    In the proof I shall use a triangle symbol. It means "normal subgroup of".
    Attached Thumbnails Attached Thumbnails Factor group/Normal subgroup proof-picture13.gif  
    Last edited by ThePerfectHacker; April 29th 2007 at 06:24 PM.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Junior Member
    Joined
    Feb 2007
    Posts
    70
    Thanks for the help. I think I've got the other direction down. Let me know if I did something wrong.

    Claim: If H is a normal subgroup of G, then H/N is a normal subgroup of G/N.

    Since N is a normal subgroup of G and H is a subset of G, we know hNh^(-1) is an element of N, which means H/N exists. Since H is a normal subgroup of G, ghg^(-1) is an element of H for all g in G. So, ghg^(-1)N = gN(hN)g^(-1)N is an element of H/N. Thus, H/N is a subgroup of G/N. Q.E.D.

    Sorry for the lack of LaTeX, I still need to learn how to use it.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by spoon737 View Post
    Thanks for the help. I think I've got the other direction down. Let me know if I did something wrong.
    That is basically it. It is just stated in a very strange way.

    Claim: If H is a normal subgroup of G, then H/N is a normal subgroup of G/N.
    Nothing wrong here. But if it was on exam I would state the initial hypothesis such as, N is normal subgroup of G and H is a subgroup of G.

    Since N is a normal subgroup of G and H is a subset of G,
    No need to say "subset of" if it is a subgroup it is certainly a subset .

    we know hNh^(-1) is an element of N
    Perhaps you want to say "we know that hNh^(-1)=N for all h in H.

    which means H/N exists.
    You mean well-defined. No need to say that. We already know that N is normal subgroup of G so definitely H.

    Since H is a normal subgroup of G, ghg^(-1) is an element of H for all g in G.
    And for all h in H.
    So, ghg^(-1)N = gN(hN)g^(-1)N is an element of H/N. Thus, H/N is a subgroup of G/N. Q.E.D.
    That is the most important part of the proof. That is all good.
    Sorry for the lack of LaTeX, I still need to learn how to use it.
    It is very readable. Group theory looks easy.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Normal Subgroup and Quotient Group
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: April 16th 2011, 06:48 PM
  2. Group Theory - Question on normal subgroup
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: November 11th 2009, 12:44 AM
  3. Group, subgroup H of index n that is not normal
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 25th 2008, 05:29 AM
  4. Subgroup divides a Normal group
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: September 13th 2008, 05:26 PM
  5. give an example of non-normal subgroup of a group
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: May 6th 2008, 08:15 AM

Search Tags


/mathhelpforum @mathhelpforum