5
$\begingroup$

I'm stuck on this exercise from Herstein's topics in algebra:

Suppose that $G$ is a group and $|G| = pm$, where $p \not| ~ m$ and $p$ is a prime. If $H$ is a normal subgroup of order $p$ in $G$, prove that $H$ is characteristic.

How to prove that? What we know:

  • $H$ and $\varphi(H)$ have prime order $p$, so they must be cyclic and abelian
  • They are both normal subgroups of $G$

how to show that, in fact, we have $H = \varphi(H)$ for every automorphism $\varphi$ ?

  • 0
    Well, $G/H$ is a group of order $m.$ Use this to prove that $H$ is the only subgroup of $G$ which has order $p.$2012-02-22

1 Answers 1

12

Define $K = \varphi(H)$. Since $H$ is normal and $K$ is a subgroup, $HK$ is also a subgroup with order

\begin{align*}|HK| = \frac{|H||K|}{|H \cap K|}\end{align*}

Both subgroups have prime order $p$, so their intersection $H \cap K$ is trivial or of order $p$. If the intersection is trivial, then $HK$ is a subgroup of order $p^2$. This is not possible, since $p^2$ does not divide $|G|$. Thus $H \cap K$ has order $p$ and therefore $H = H \cap K =K$.