Abstract:We establish correspondances between factorisations of finite abelian groups (direct factors, unitary factors, non isomorphic subgroup classes) and factorisations of integer matrices. We then study counting functions associated to these factorisations and find average orders.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to establish the correspondence between different decompositions of finite abelian groups (direct factors, unital factors, non - isomorphic subgroup classes) and integer matrix decompositions, and to study the counting functions related to these decompositions and find their average orders.
Specifically, the article explores the following aspects:
1. **Correspondence between Abelian groups and matrices**:
- The article establishes the correspondence between different decomposition methods of a finite abelian group \( G \) and the Smith normal form (SNF) decomposition of its corresponding integer matrix \( M(G) \).
- For example, for a finite abelian group \( G \), it can be expressed in the form of a direct sum \( G\cong\mathbb{Z}/n_1\mathbb{Z}\oplus\cdots\oplus\mathbb{Z}/n_r\mathbb{Z} \), where \( n_i \) is a divisor of \( n \) and \( r \) is the rank of the group. The corresponding matrix \( M(G)=\text{diag}[n_1,n_1n_2,\ldots,n_1n_2\cdots n_r] \).
2. **Study of counting functions**:
- The article studies the counting functions related to these decompositions and finds the average orders of these functions. For example, the article introduces the zeta function to study the number of direct factors and proves that, on average, the number of direct factors is approximately \( \log x \).
- For the counting of unital factors and subgroup classes, the article also introduces the corresponding zeta functions respectively and studies their properties.
3. **Asymptotic estimates**:
- The article gives an asymptotic estimate of the number of non - isomorphic subgroup classes, indicating that, on average, the number of non - isomorphic subgroup classes is approximately the same as the number of direct factors, while the number of all subgroups will increase significantly as the rank increases.
4. **Properties of zeta functions**:
- The article studies the properties of zeta functions related to these decompositions, including their local functional equations and recurrence formulas of generating functions.
- For example, for an abelian group with rank \( r \), the article introduces the zeta function \( Z_r(s) \) and proves that it has a local functional equation \( Z_r(s)=\prod_{p\text{ prime}}F_r(p^{-s}) \), where \( F_r(x) = x^{-r(r + 3)/2}F_r(1/x) \).
5. **Study of limit cases**:
- The article also studies the case when the rank tends to infinity and proves that the zeta function \( Z(s)=\lim_{r\to\infty}Z_r(s) \) has a meromorphic continuation to \( \Re(s)>0 \), but cannot be further extended beyond the imaginary axis.
In summary, this paper, by establishing the correspondence between abelian group decompositions and matrix decompositions, deeply studies the properties of related counting functions and gives the asymptotic behaviors of these functions and the analytic properties of zeta functions. This provides new perspectives and tools for understanding the structure of finite abelian groups and their decompositions.