The enumeration of subgroups in finite p-groups

Abstract

We generalize the familiar principle of enumeration due to Hall and establish a new principle for the enumeration of subgroups of any p-group G of order p^m, based on the following grouptheoretic relation found by the author:

$$\sum\nolimits_{\lambda = 0}^m {\left( { - 1} \right)^\lambda p^{\left( {\begin{array}{*{20}c} \lambda \\ 2 \\ \end{array} } \right)} \mathcal{E}_\lambda \left( G \right)} = 0,$$

where ℰ_λ (G) is the number of elementary Abelian subgroups of order p^λ in G.