Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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$ ?

share|improve this question
Do you know about Sylow subgroups yet? Subgroups of order $p$ are Sylow $p$-subgroups in $G$, so $\varphi(H)$ must be conjugate to $H$. But $H$ is normal, so... –  Arturo Magidin Feb 22 '12 at 18:32
Hi, the question is quite early in the book and the few things I know are: Definitions and Examples of Groups \ Subgroups \ Lagrange's Theorem \ Homomorphisms and Normal Subgroups. I understand that it might be difficult to prove that using only basic facts.. Herstein seems to love this kind of question –  Haile Feb 22 '12 at 18:40
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.$ –  Geoff Robinson Feb 22 '12 at 18:52

1 Answer 1

up vote 10 down vote accepted

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$.

share|improve this answer
Clear! Thank you. –  Haile Feb 22 '12 at 19:36

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.