Recall that a group of order $p^{m}$ is of maximal class, if $cl(G)=m-1>1$.

Let $G$ be a nonabelian p-group of maximal class wich have an abelian subgroup of index $p$. Note that:

  • $G$ has $p+1$ maximal subgroup. They are all of maximal class, exept one is not of maximal class noted by $G_{1}$ and called the fundamental subgroup of $G$ ($G_{1}=C_{G}(K_{2}(G)/K_{4}(G)) $).
    • every nonabelian subgroup of $G$ is of maximal class.

I found in exercice of the Book (p-groupe of maximal class $v1$ of Berkovich), that the number of nonabelian subgroups of index $p^n$ in $G$ equals $p^n$ provided $|G|\geq p^{n+3}$. why this is true?.

Any help would be appreciated so much. Thank you all.


Note that your first bullet point is only true when $m \ge 4$, since otherwise all maximal subgroups of $G$ are abelian. If $m=3$ then there is nothing to prove so let's assume that $m \ge 4$.

Now the derived subgroup $[G,G]$ has index $p^2$ in $G$ and it is equal to the intersection of any two maximal subgroups of $G$. So $[G,G]$ is abelian. Hence any nonabelian subgroup of $G$ is contained in a unique maximal subgroup of $G$.

Now it's a straightforward induction on $m$. If $m=4$ then the result holds by your first bullet point. If $m>4$, then the $p$ maximal subgroups of $G$ are themselves of maximal class, and they have an abelian maximal subgroup (i.e. $[G,G]$), so they each have $p$ nonabelian maximal subgroups, which by the previous paragraph are all distinct. So we have a total of $p^2$ nonabelian subgroups of index $p^2$.

If $m>5$, then they each have $p$ nonabelian maximal subgroups giving a total of $p^3$ nonabelian subgroups of index $p^3$, and so on.


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.