Zeta function of a group
Let be a group. The zeta function of is defined as:
summing up over all subgroups of finite index in .
The coefficients are all finite when the group is finitely generated. This follows from finitely generated implies finitely many homomorphisms to any finite group and equivalence of definitions of group with finitely many homomorphisms to any finite group (in turn a consequence of Poincare's theorem).
When the group is a PSG-group (i.e., it has polynomial subgroup growth) then the zeta function is well-defined and is convergent for a value of for which grows at a rate that is strictly more than linear (for instance, quadratic or more). The zeta function is not convergent for other values of .
When the group is a finitely generated torsion-free nilpotent group, we can get an Euler product formula, for the zeta function:
This is a consequence of the fact that any finite nilpotent group is a direct product of its Sylow subgroups.
- Subgroups of finite index in nilpotent groups by F. J. Grunewald, D. Segal and G. C. Smith, Inventiones mathematicae, Volume 93,Number 1, Page 185 - 223(Year 1988): Gated copy (PDF)More info