5
$\begingroup$

Let $p$ be a prime, let $n$ and $k$ be positive integers and let $G$ be a group of order $p^n$. Further, let $a_{p^k}$ denote the number of subgroups of $G$ of index $p^k$.

If $a_{p^k}$ is greater than 1 and not congruent to $p+1$ modulo $p^2$ -- does it follow that $p = 2$ and $G$ is either a dihedral group, a quasidihedral group or a generalized quaternion group?

$\endgroup$
0

1 Answer 1

10
$\begingroup$

It seems that the $p>2$ part of this was proved in

Kulakoff, A., Über die Anzahl der eigentlichen Untergruppen und der Elemente von gegebener Ordnung in $p$-Gruppen., Math. Ann. 104, 778-793 (1931). ZBL57.0146.03.

and the $p=2$ part in

Easterfield, T. E., An extension of a theorem of Kulakoff, Proc. Camb. Philos. Soc. 34, 316-320 (1938). ZBL0019.10802.

$\endgroup$
1
  • 4
    $\begingroup$ Philip Hall (Theorem 4.6 in "On a Theorem of Frobenius", 1935) generalizes the result of Kulakoff to $G$ which are not necessarily $p$-groups. Easterfield also proves a result for all finite groups. $\endgroup$ May 14, 2021 at 2:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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