[论文解读] Representing and counting the subgroups of the group Z_m x Z_n

Mario Hampejs, Nicki Holighaus+2 more|arXiv (Cornell University)|Nov 8, 2012

Advanced Algebra and Geometry参考文献 21被引用 4

一句话总结

本文通过简单的表示法和不变因子分解，对有限交换群 ℤₘ × ℤₙ 的子群进行了完整刻画。推导出子群总数以及给定阶子群数量的显式乘法公式，推广了已知的 p-群结果，并可通过算术函数与狄利克雷卷积实现高效计算。

ABSTRACT

We deduce a simple representation and the invariant factor decompositions of the subgroups of the group $\Bbb{Z}_m imes \Bbb{Z}_n$, where $m$ and $n$ are arbitrary positive integers. We obtain formulas for the total number of subgroups and the number of subgroups of a given order.

研究动机与目标

• 为任意正整数 m 和 n 的 ℤₘ × ℤₙ 的所有子群提供完整且简洁的表示。
• 确定这些子群的不变因子分解，实现结构分类。
• 推导出子群总数 s(m,n) 和给定阶子群数量 sₖ(m,n) 的显式乘法公式。
• 通过素因数分解与乘法数论技术，将已知的 p-群结果推广至任意 ℤₘ × ℤₙ。
• 通过支持时间-频率分析中的应用，实现对具有特定性质的子群的高效枚举与选择。

提出的方法

• 通过满足可除性与同余条件的三元组 (a,b,t) 参数化子群，表示 ℤₘ × ℤₙ 的所有子群。
• 利用中国剩余定理与素因数分解，将问题约化为 p-群 ℤₚᵃ × ℤₚᵇ 的情形，借助乘法性求解。
• 运用数论工具如莫比乌斯函数 μ、欧拉函数 φ 和戴德金 psi 函数 ψ，推导出闭式表达式。
• 利用狄利克雷卷积与布什-拉马努金恒等式，将对因子的求和转化为紧凑的算术函数。
• 在特殊情形下应用古尔萨特定理与基于矩阵的方法（如史密斯标准型）验证子群表示。
• 通过参数的 gcd 与 lcm 条件，推导出循环子群与给定指数子群的公式。

实验结果

研究问题

• RQ1 如何利用初等群论与数论系统地表示并分类 ℤₘ × ℤₙ 的所有子群？
• RQ2 ℤₘ × ℤₙ 的子群的确切数量是多少？它如何依赖于 m 和 n 的素因数分解？
• RQ3 ℤₘ × ℤₙ 中给定阶 k 的子群数量是多少？如何实现高效计算？
• RQ4 ℤₘ × ℤₙ 的子群结构如何与时间-频率分析及格栅采样应用相关联？
• RQ5 ℤₙ × ℤₙ 中循环子群与给定指数子群的数量能否用乘法算术函数表达？

主要发现

• 子群总数 s(m,n) 是乘法的，且满足 s(m,n) = ∏ᵣ s(pⱼᵃʲ, pⱼᵇʲ)，其中 u = gcd(m,n) 与 v = lcm(m,n) 的素因数分解为 u = ∏ pⱼᵃʲ，v = ∏ pⱼᵇʲ。
• 对于 p-群 ℤₚᵃ × ℤₚᵇ（满足 0 ≤ a ≤ b），其子群数量为 s(pᵃ,pᵇ) = [(b−a+1)pᵃ⁺² − (b−a−1)pᵃ⁺¹ − (a+b+3)p + (a+b+1)] / (p−1)²。
• ℤₚᵃ × ℤₚᵇ 中阶为 pᶜ 的子群数量由分段公式给出，取决于 c 相对于 a 与 b 的大小，涉及 (pᶜ⁺¹−1)/(p−1) 或类似表达式。
• ℤₘ × ℤₙ 中循环子群的数量为 c(m,n) = ∑_{lcm(d,e)=gcd(m,n)} gcd(d,e)，经变量替换与莫比乌斯反演后简化为 c(m,n) = ∑_{ℓk|gcd(m,n)} ℓ·2^ω(k)。
• ℤₙ × ℤₙ 中指数为 δ 的子群数量为 E₆(n) = c(δ)，即等于 ℤₙ × ℤₙ 中阶为 δ 的循环子群数量。
• ℤ×ℤ 中指数为 n 的子群数量为 σ(n)，即 n 的所有正因子之和，通过所推导的参数化方法确认了这一已知结果。