1
$\begingroup$

It is well known that finite $p$-groups have (normal) subgroups of all possible orders. Now, what can we say about subgroups containing a given non-normal subgroup? i.e.

Let $G$ be a group of order $p^n$ and let $H$ be a non-normal subgroup of $G$ of order $p^m$. Does there exist a (normal) subgroup of $G$ containing $H$ of order $p^i$, for $i=m,\ldots,n$? If not, can you show a counterexample?

Remark: I ask non-normality for $H$ because if it was normal, I could quotient out by it.

Thank you very much in advance!

  • 2
    I'm confused, for $i=m$ isn't the answer obviously no...2012-10-19

1 Answers 1

2

You cannot require the containing subgroups to be normal ($i=m$ is an obvious problem, but $i

However, you can certainly find subgroups above. This is more generally true because $p$-groups are supersolvable, and supersolvable groups have supersolvable subgroup lattices (so all subgroup maximal chains are the same length).

With $p$-groups you can prove this easily using an upper central series. If $H$ contains $Z(G)$, then mod out by $Z(G)$ and the problem has not really changed. Since $p$-groups are nilpotent and $H

  • 0
    Thank you very much Jack! A complete answer!2012-10-19