[论文解读] An arithmetic method of counting the subgroups of a finite abelian group

Marius Tărnăuceanu|arXiv (Cornell University)|May 21, 2018

graph theory and CDMA systems参考文献 7被引用 11

一句话总结

本文提出一种基于基本群格的算术方法，用于显式计算有限交换群中子群、循环子群及给定阶元素的数量。通过利用 p-群上的矩阵表示与整除条件，推导出秩为2的 p-群中固定阶子群的闭式公式，并通过初等分解将结果推广至任意有限交换群。

ABSTRACT

The main goal of this paper is to apply the arithmetic method developed in our previous paper \cite{13} to determine the number of some types of subgroups of finite abelian groups.

研究动机与目标

• 通过先前工作中引入的基本群格方法，扩展有限交换群中子群计数的算术方法。
• 推导出有限交换 p-群（秩为2）中给定阶子群数量的显式公式。
• 将结果推广至任意有限交换群，以计算循环子群与指定阶元素的数量。
• 通过结构分解建立子群计数与欧拉函数之间的联系。
• 基于元素阶提出关于子群特征、自同构群及群同构不变量的开放问题。

提出的方法

• 构建一个基本群格 $ L_{(k;d_1,\ldots,d_k)} $，即满足特定整除约束的上三角整数矩阵的完全模格。
• 基于子矩阵行列式的连续最大公因数条件，定义矩阵上的偏序 $ \leq $。
• 利用格结构编码有限交换 p-群中子群包含关系与同构类型。
• 通过递归整除函数，将该格应用于推导 $ g^k_p(\alpha) $，即 $ \prod_{i=1}^k \mathbb{Z}_{p^{\alpha_i}} $ 中阶为 $ p^\alpha $ 的循环子群数量。
• 通过将群分解为 p-初等分量并使用乘法公式，将结果推广至任意有限交换群。
• 采用欧拉函数 $ \varphi(p^\alpha) = p^\alpha - p^{\alpha-1} $，计算阶为 $ p^\alpha $ 的元素数量为 $ g^k_p(\alpha) \cdot \varphi(p^\alpha) $。

实验结果

研究问题

• RQ1 能否为任意秩的有限交换 p-群中固定阶子群数量推导出显式公式？
• RQ2 如何在任意有限交换群中计算给定阶循环子群的数量？
• RQ3 有限交换群中给定阶元素的数量是否完全由其 p-初等分量决定？
• RQ4 元素阶的集合以及每阶元素的数量在多大程度上能确定有限交换群的同构类型？
• RQ5 子群格结构能否通过算术格框架实现算法化生成？

主要发现

• 对于秩为2、类型为 $ \mathbb{Z}_{p^{\alpha_1}} \times \mathbb{Z}_{p^{\alpha_2}} $ 的有限交换 p-群，阶为 $ p^\alpha $ 的子群数量为 $ g^2_p(\alpha) = \frac{p^\alpha h^1_p(\alpha) - p^{\alpha-1} h^1_p(\alpha-1)}{p^\alpha - p^{\alpha-1}} $，其中 $ h^1_p(\alpha) = \min(p^{\alpha}, p^{\alpha_1}) $。
• 在秩为 $ k $ 的有限交换 p-群中，阶为 $ p^\alpha $ 的循环子群数量为 $ g^k_p(\alpha) $，且 $ g^k_p(0) = 1 $。
• 此类群中阶为 $ p^\alpha $ 的元素数量为 $ g^k_p(\alpha) \cdot \varphi(p^\alpha) = p^\alpha h^{k-1}_p(\alpha) - p^{\alpha-1} h^{k-1}_p(\alpha-1) $。
• 对于任意有限交换群 $ G \cong \prod_{i=1}^m G_i $，其中 $ G_i $ 为秩为 $ k_i $ 的 $ p_i $-初等分量，阶为 $ \prod_{i=1}^m p_i^{\alpha_i} $ 的循环子群数量为 $ \prod_{i=1}^m g^{k_i}_{p_i}(\alpha_i) $。
• 群 $ G $ 中阶为 $ \prod_{i=1}^m p_i^{\alpha_i} $ 的元素数量为 $ \prod_{i=1}^m g^{k_i}_{p_i}(\alpha_i) \cdot \varphi(p_i^{\alpha_i}) $。
• 本文未解决的问题是：有限交换群是否由其元素阶的多重集以及每阶元素的数量唯一确定，作者建议此为关键未解问题。