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!

Sylow theory problem

  1. Mar 4, 2008 #1
    [SOLVED] sylow theory problem

    1. The problem statement, all variables and given/known data
    Let G be a finite group and let p be a prime dividing |G|. Let P be a Sylow p-subgroup of G. Show that N[N[P]]=N[P].

    2. Relevant equations

    3. The attempt at a solution
    Please confirm that this proof is correct.

    The Second Sylow Theorem tells us that any two Sylow p-subgroups of a finite group must be conjugate.
    The normalizer of P is the subgroup N[P]={[itex]g \in G[/itex] : [itex]gPg^{-1} = P[/itex]}. It is obvious that N[P] is the largest subgroup of G in which P is normal.
    It follows immediately that P is the only Sylow p-subgroup in N[P].
    The normalizer of the normalizer of P is the subgroup N[N[P]] = {[itex]g \in G[/itex] : [itex]gN[P]g^{-1} = N[P][/itex]}. I claim that P is normal in N[N[P]]. If g in N[N[P]], then [itex] gPg^{-1} \subset N[P] [/itex] and since P is the only Sylow p-subgroup in N[P], it follows immediately that gPg^{-1} = P. Thus g is contained in N[P] and N[N[P]] is contained in N[P].

    Why did they tell us that p is a prime that divides |G|? Doesn't that follow from the fact that there exists a Sylow-p-subgroup?
    Last edited: Mar 4, 2008
  2. jcsd
  3. Mar 4, 2008 #2


    User Avatar
    Science Advisor
    Homework Helper

    Looks kosher.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Sylow theory problem
  1. Sylow theory (Replies: 2)

  2. Group Theory (Sylow) (Replies: 3)

  3. Sylow Subgroups (Replies: 1)

  4. Sylow's theorem (Replies: 2)

  5. Sylow Theorem (Replies: 0)