An elementary proof of a power series identity for the weighted sum of all finite abelian p-groups

2014 
Using combinatorial techniques, we prove that the weighted sum of the inverse number of automorphisms of all finite abelian $p$-groups $\sum_G |G|^{-u} |\text{Aut}(G)|^{-1}$ is equal to $\prod_{j=u+1}^\infty\left(1-1/p^j\right)^{-1}$, where $u$ is a non-negative integer. This result was originally obtained by H. Cohen and H. W. Lenstra, Jr. In this paper we give a new elementary proof of their result.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    1
    References
    0
    Citations
    NaN
    KQI
    []