[论文解读] On the number of cyclic subgroups of a finite abelian group

László Tóth|arXiv (Cornell University)|Mar 28, 2012

Limits and Structures in Graph Theory参考文献 14被引用 19

一句话总结

本文为有限交换群中循环子群及给定阶元素的计数公式提供了新的数论证明，特别针对循环群的直积。它确立了在 $ C_{n_1} \times \cdots \times C_{n_r} $ 中阶为 δ 的循环子群的数量由 $ c_\delta(n_1,\ldots,n_r) = \sum_{\text{lcm}(d_1,\ldots,d_r)=\delta} \phi(d_1)\cdots\phi(d_r) / \phi(\delta) $ 给出，并通过莫比乌斯反演和欧拉函数的组合性质，推导出这些计数函数的乘法结构。

ABSTRACT

We prove by using simple number-theoretic arguments formulae concerning the number of elements of a fixed order and the number of cyclic subgroups of a direct product of several finite cyclic groups. We point out that certain multiplicative properties of related counting functions for finite Abelian groups are immediate consequences of these formulae.

研究动机与目标

• 使用初等数论推导有限交换群中阶固定循环子群及元素数量的显式公式。
• 为定理1提供直接、自包含的证明，该定理给出了循环群直积中循环子群总数的紧凑公式。
• 通过素数幂分解和卷积性质，建立循环子群及元素计数函数的乘法结构。
• 将循环子群的计数与已知的算术函数（如欧拉函数和冯·斯特恩贝格函数）联系起来。

提出的方法

• 使用莫比乌斯反演推导 $ C_{n_1} \times \cdots \times C_{n_r} $ 中阶为 δ 的元素数量，表达式为 $ o_\delta(n_1,\ldots,n_r) = \sum_{e|\delta} \gcd(e,n_1)\cdots\gcd(e,n_r) \mu(\delta/e) $。
• 通过除数和推导替代公式：$ o_\delta(n_1,\ldots,n_r) = \sum_{\text{lcm}(d_1,\ldots,d_r)=\delta} \phi(d_1)\cdots\phi(d_r) $，利用恒等式 $ \sum_{d|n} \phi(d) = n $。
• 应用公式 $ c_\delta(n_1,\ldots,n_r) = o_\delta(n_1,\ldots,n_r)/\phi(\delta) $ 计算阶为 δ 的循环子群数量。
• 通过乘法算术函数的卷积和素数幂分解，证明计数函数 $ c(n_1,\ldots,n_r) $ 的乘法性。
• 推导 p-群的特例：$ c_{p^\nu}(p^{a_1},\ldots,p^{a_r}) = \frac{1}{p^{\nu-1}(p-1)} \left( p^{\sum \min(\nu,a_i)} - p^{\sum \min(\nu-1,a_i)} \right) $。
• 识别出乔丹函数 $ \phi_r(\delta) $ 为 $ C_n^r $ 中阶为 δ 的元素数量，将群论计数与算术函数联系起来。

实验结果

研究问题

• RQ1 如何使用初等数论方法计算有限交换群中给定阶的循环子群数量？
• RQ2 在循环群直积 $ C_{n_1} \times \cdots \times C_{n_r} $ 中，阶为 δ 的元素数量的精确公式是什么？
• RQ3 循环子群计数函数的乘法结构如何从群的初等分解中产生？
• RQ4 循环子群数量与欧拉函数和乔丹函数等经典算术函数之间存在何种关系？
• RQ5 是否能通过莫比乌斯反演和除数和恒等式，直接从元素计数推导出循环子群数量的公式？

主要发现

• 在 $ C_{n_1} \times \cdots \times C_{n_r} $ 中阶为 δ 的元素数量为 $ \sum_{e|\delta} \gcd(e,n_1)\cdots\gcd(e,n_r) \mu(\delta/e) $，这是通过莫比乌斯反演的新推导。
• 等价公式为 $ \sum_{\text{lcm}(d_1,\ldots,d_r)=\delta} \phi(d_1)\cdots\phi(d_r) $，表明循环子群计数与除数的最小公倍数之间存在直接联系。
• 阶为 δ 的循环子群数量为 $ c_\delta(n_1,\ldots,n_r) = \frac{1}{\phi(\delta)} \sum_{\text{lcm}(d_1,\ldots,d_r)=\delta} \phi(d_1)\cdots\phi(d_r) $，该公式推广了对 p-群的已知结果。
• 对于 $ C_n^r $，阶为 δ 的元素数量为乔丹函数 $ \phi_r(\delta) = \delta^r \prod_{p|\delta} (1 - p^{-r}) $，为该算术函数提供了群论解释。
• 在 $ C_{n_1} \times \cdots \times C_{n_r} $ 中，循环子群的总数关于素数幂是乘法的，且由 $ c(n_1,\ldots,n_r) = \sum_{\delta|n} c_\delta(n_1,\ldots,n_r) $ 给出，其中 $ n = \text{lcm}(n_1,\ldots,n_r) $。
• 通过初等方法重新推导公式 $ c(n_1,\ldots,n_r) = \sum_{d_1|n_1,\ldots,d_r|n_r} \frac{\phi(d_1)\cdots\phi(d_r)}{\phi(\text{lcm}(d_1,\ldots,d_r))} $，通过组合数论确认其有效性。