Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Understanding Normalizers

  1. Jul 30, 2007 #1
    This shouldn't be too hard but I'm having a hard time putting a few pieces together.

    Let [itex]G[/itex] be a finite group with [itex]N[/itex] a normal subgroup. Let [itex]P[/itex] be a Sylow [itex]p[/itex]-subgroup of [itex]N[/itex]. Prove that [itex]G=N_G(P)N[/itex], where [itex]N_G(P)[/itex] denotes the normalizer of [itex]P[/itex] in [itex]G[/itex].

    My attempts: I know that the number of conjugates of P in G equals the index of the normalizer of P in G. What I don't understand is: why does the number of conjugates of P in G equal the normal subgroup N?
  2. jcsd
  3. Jul 30, 2007 #2


    User Avatar
    Science Advisor
    Homework Helper

    well it looks plausible ebcause NP(G) is th stuff in G that leaves P inside P, and N moves P around to all its conjugates inside N. Since N is normal also all elments of G leave P inside of N, so if you have the stuff that leaves P fixed when acting by conjugation, and also have a transitive subgroup acting by conjugation, you should have everyone.

    i.e. let G act on P by conjugation and prove NP(G)N contains a a transitive subgroup for this action, plus the full isotropy subgroup. then it is done isnt it? by the usual trick for finding automorphism groups. i.e. any group that acts transitively and contains an isotropy group of on point is the full automorphism group. (see cartan's wonderful little book on complex variables, in the section on complex automorphisms.)
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook