Let $G$ be a group of order $p^\alpha$, where $p$ is prime. If $H\lhd G$, then can we find a normal subgroup of $G/H$ that has order $p$?

  • 4
    $\begingroup$ Not if $H=G$. Otherwise, of course: order of $G/H$ divides order of $G$, so it's a power of $p$, so it has an element of order $p$, done. $\endgroup$ – Gerry Myerson Jun 24 '12 at 7:59
  • $\begingroup$ Ok, I mistyped my question. I was wondering if we can find a normal subgroup of $G/H$ that has order $p$. $\endgroup$ – youngtableaux Jun 24 '12 at 8:10
  • 1
    $\begingroup$ I saw somewhere, if $|G|=m$ and $p$ is the smallest prime number dividing the order of $G$ then every subgroup of $G$ with index $p$ is normal in $G$. As Gerry noted; $|\frac{G}{H}|=p^s$ for any $s$. I think by taking $m=p^s$ we can solve the problem. I hope it help. $\endgroup$ – mrs Jun 24 '12 at 8:24
  • 3
    $\begingroup$ I repeat: not if $H=G$. Other than that, I don't think $G/H$ differs form any other $p$-group. Does every finite $p$ group have a normal subgroup of order $p$? If so, then the answer t your question is yes. If no, let $A$ be a $p$-group with no normal subgroup of order $p$, let $G=A\times B$ for some $p$-group $B$, then $1\times B$ is normal in $G$, etc. $\endgroup$ – Gerry Myerson Jun 24 '12 at 8:56
  • $\begingroup$ It may help you to note that finite non-trivial $p$-groups have non-trivial centers. $\endgroup$ – Geoff Robinson Jun 24 '12 at 9:47

Theorem: a group $\,G\,$ of order $\,p^n\,,\,p\,$ a prime, $\,n\in\mathbb N\,$ , always has normal subgroup of order $\,p^m\,\,,\,\,\forall\, m\leq n\,\,,\,m\in \mathbb N$

Proof: Exercise, using that always $|Z(G)|>1\,$ and induction on $\,n\,$

So the comments by Gerry and Geoff close the matter.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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