Variations on polynomial subgroup growth

A groupG hasweak polynomial subgroup growth (wPSG) of degree ≤α if each finite quotient Ḡ ofG contains at most │Ḡ│ ^a subgroups. The main result is that wPSG of degree α implies polynomial subgroup growth (PSG) of degree at mostf(α). It follows that wPSG is equivalent to PSG. A corollary is that if, in a profinite groupG, thek-generator subgroups have positive “density” δ, thenG is finitely generated (the number of generators being bounded by a function ofk and δ).