Subgroup bounds for abelian $p$-groups with applications

Abstract

We prove an upper bound for the number of subgroups of an abelian $p$-group, with constants that are sharp on homocyclic blocks. If $A_\lambda$ has type $\lambda$, the main exponent is $\eta(\lambda)=\sum_i\lfloor(\lambda'_i)^2/4\rfloor$, where the parts of $\lambda'$ are the column heights of the Ferrers diagram of $\lambda$. The leading coefficient is the number of central choices in the blocks of columns of odd height. The proof starts from Delsarte's formula, separates the blocks by column height, and estimates each homocyclic block by successive Durfee squares. We also give three applications: a comparison theorem for $p$-groups of nilpotency class less than $p$, diagonal summatory estimates with the shape fixed, and formulae for leading terms at fixed rank for finite abelian $p$-groups.