1. Not finding help here? Sign up for a free 30min 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!

Normality subgroups help

  1. Feb 22, 2008 #1
    Hi next one? Any ideas here?

    Let G be a group and [itex] H \subset G[/itex] a subgroup such that |G/H| = 2. Show that H is normal in G.

    thnx :)
     
  2. jcsd
  3. Feb 22, 2008 #2

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    Did you try anything? Any ideas? Try thinking about right and left cosets.
     
  4. Feb 23, 2008 #3
    [itex][G/H]=2[/itex] means that [itex]H[/itex] has two left and right cosets in [itex]G[/itex]. Assume [itex]g_1 \in H[/itex], then it is trivial that [itex]g_1H = H = Hg_1[/itex]. Now assume [itex]g_2 \notin H[/itex], this means that [itex]g_2H \neq H \neq Hg_2[/itex]. But since there are only 2 cosets and both of them are not in H then it means they are the same so [itex]g_2H = Hg_2[/itex]

    is this correct?
     
  5. Feb 23, 2008 #4

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    Yep, that's pretty much it.
     
  6. Feb 23, 2008 #5
    just a question here though, when it says [itex]g_1H = H = Hg_1[/itex], is it referring to g_1 as the identity element of the group? if so, can you please explain why this proves that H is normal in G?
    i understand "how" to do the question but i dont understand "why" it works... thanks :)
     
  7. Feb 23, 2008 #6

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    There are two left cosets g1H and g2H. One of them is eH=H. If g1H=H, then g1 could be e, it could also be anything else in H. As you said. g2 can be anything not in H. If you really want to understand it prove these statements.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Normality subgroups help
  1. Normal Subgroups (Replies: 1)

  2. Normal Subgroups (Replies: 2)

  3. Normal subgroup (Replies: 2)

Loading...