11
$\begingroup$

Let $H$ be a proper subgroup of $p$-group $G$. Show that the normalizer of $H$ in $G$, denoted $N_G(H)$, is strictly larger than $H$, and that $H$ is contained in a normal subgroup of index $p$.

Here's what I've got so far:

  • If $H$ is normal, $N_G(H)$ is all of $G$ and we are done.
  • If $H$ is not normal, then suppose for the sake of contradiction that $N_G(H)=H$. Then there is no element outside of $H$ that fixes $H$ by conjugation. But the center $Z(G)$ of $G$ does fix $H$, so $Z(G)$ must be a subgroup of $H$.

Don't know if I'm going on the right path or not, but either way can't really think my way out of this one... Any help would be appreciated.

1 Answers 1

4

You are on the right track. Now look at the subgroup $H/Z$ of $G/Z$. By induction, its normalizer is strictly larger than $H/Z$. Say it contains the residue class $\overline x$ of $x \in G$ where $\overline x \not\in H/Z$. Now show that $x$ also normalizes $H$ in $G$ to get a contradiction.

  • 1
    Could you clarify: 1) By induction from what? I thought we were assuming that N(H) is not larger than H. 2) By residue class do you just mean the elements outside of H/Z?2012-11-10
  • 0
    1) The induction is on the order of $G$. Since $G$ is a $p$-group its center $Z$ is non-trivial, so $G/Z$ is strictly smaller than $G$. 2) By the residue class of $x$ I mean its image in the quotient group $G/Z$, so the coset $xZ$ if you like.2012-11-10
  • 0
    Very clear. I will look into this, thank you sir.2012-11-10
  • 0
    What about the second part, with H being contained in a normal subgroup index p? Any hints there?2012-11-11
  • 0
    @BenjaminLu You know that taking normalizers strictly enlarges the subgroup. Suppose you repeat this a lot of times. What would happen?2012-11-11
  • 0
    Right, but what if during this process we hit a normal group that is smaller than the maximal group?2012-11-11
  • 0
    @BenjaminLu You pick a larger subgroup and continue. On reflection I suppose this isn't any simpler than immediately passing to a maximal subgroup.2012-11-11
  • 0
    @marlu isn't p-group having non-trivial centre a corollary of the class equation? Can I know how exactly is the induction done?2014-11-21
  • 0
    Where did you find this problem?2016-04-07