Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I've gotten a little tripped on part of what I'm guessing is a straight forward problem. This is part (a) of Exercise 23 in Lang's Algebra.

Let $P,P'$ be $p$-Sylow subgroups of a finite group $G$. If $P'\subset N(P)$ (normalizer of $P$), then $P'=P$.

How can I go about this? I know that $P'=gPg^{-1}$ for some $g\in G$, and I figure conjugation must come into play if the normalizer is part of the question. I also figure it'd be enough to show one is contained in the other since they're both maximal $p$-subgroups. I haven't really been able to scratch out more than that.

I'd appreciate any hints or tips/tricks or answers to this part if you have them. Thanks.

share|cite|improve this question
up vote 6 down vote accepted

Hint: If a $p$-Sylow subgroup is normal, then it is the only $p$-Sylow subgroup of that group. By definition, $P$ is a normal subgroup of $N(P)$. Therefore...

share|cite|improve this answer
+1 Beat me by one second :) – Zev Chonoles Sep 12 '11 at 5:27
Hm, so $P\unlhd N(P)$, but $P'\leq N(P)$ and a $p$-Sylow subgroup too, so $P=P'$. Thanks Ted and @Zev, you guys were both lightning fast. – yunone Sep 12 '11 at 5:31


  • $N(P)$ is the largest subgroup of $G$ having $P$ as a normal subgroup.
  • If $P$ is a Sylow $p$-subgroup of $G$, then it is also a Sylow $p$-subgroup of any subgroup $H\subset G$ containing it.
share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.