Asymptotics of abelian group-partitions and associated Dirichlet series

Tetsuya Momotani
DOI: https://doi.org/10.48550/arXiv.math/0609749
2006-09-27
Abstract:We introduce a notion of a group-partition for a finite Abelian group, which is a generalized notion of the standard partition. To obtain asymptoticdistributions of group-partition, we study the Dirichlet series for group-partitions by employing the generating function of the plane partition.
Number Theory,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the partition of finite abelian groups (group - partition) and the asymptotic distribution of the related Dirichlet series. Specifically, the author introduced a new concept - **group - partition**, and studied the asymptotic behavior of the number of these partitions as the order of the group grows. ### Specific description of the problem 1. **Background and existing results**: - It is known that for a positive integer \(n\), \(a(n)\) represents the number of isomorphism classes of finite abelian groups of order \(n\). - According to existing results (for example [Sa]), for positive integers \(n\) satisfying \(n\equiv k\pmod{j}\), we have: \[ \sum_{\substack{n\leq x\\n\equiv k\pmod{j}}}a(n)=C(j)x + o(x)\quad\text{when}\;x\rightarrow\infty, \] where \(j\) and \(k\) are relatively prime positive integers, and \(C(j)\) is a positive constant. 2. **Newly introduced concepts**: - The author introduced the concept of "group - partition": for a finite abelian group \(G\), its group - partition refers to a direct sum decomposition of a set of finite abelian groups \(G = G_1\oplus G_2\oplus\cdots\oplus G_r\), and satisfies \(G_1\supseteq G_2\supseteq\cdots\supseteq G_r\). - Define \(\pi_r(G)\) as the number of group - partitions of \(G\) that contain at most \(r\) factors. - Define \(a_r(n)\) as the sum of the numbers of group - partitions of all finite abelian groups of order \(n\): \[ a_r(n):=\sum_{|G| = n}\pi_r(G), \] where \(G\) traverses all isomorphism classes of finite abelian groups of order \(n\). 3. **Main objective**: - The author's goal is to generalize the above - mentioned existing results and study the asymptotic behavior of \(a_r(n)\), that is, to prove: \[ \sum_{\substack{n\leq x\\n\equiv k\pmod{j}}}a_r(n)=C_r(j)x + o(x)\quad\text{when}\;x\rightarrow\infty, \] where \(C_r(j)\) is a positive constant explicitly expressed in terms of the Riemann zeta function and the Euler function. ### Main methods - **Dirichlet series**: In order to study the properties of \(a_r(n)\), the author introduced the Dirichlet series \(J_r(s,\chi)\): \[ J_r(s,\chi):=\sum_{n = 1}^{\infty}\frac{\chi(n)a_r(n)}{n^s}, \] where \(\chi\) is a Dirichlet character. By analyzing the properties of this series, especially its Euler product expression and analytic continuation, the author was able to obtain the required asymptotic estimates. - **Plane partition**: The author used plane partition and its generating function to establish a one - to - one correspondence between group - partition and plane partition, thus simplifying the handling of the problem. ### Conclusion Finally, the author proved that for any positive integer \(r\) or \(r=\infty\), we have: \[ \sum_{\substack{n\leq