[论文解读] Menon's identity and arithmetical sums representing functions of several variables

László Tóth|arXiv (Cornell University)|Mar 30, 2011

Analytic Number Theory Research参考文献 14被引用 40

一句话总结

本文将梅农恒等式推广至涉及多个变量函数的算术和，推导出一个新恒等式，将互素剩余上的最大公约数加权和表示为多变量的乘法函数。其核心贡献是给出了有限个任意阶循环群直积中循环子群数量的闭式公式，该结果拓展了经典结果，并为高维梅农型恒等式提供了统一框架。

ABSTRACT

We generalize Menon's identity by considering sums representing arithmetical functions of several variables. As an application, we give a formula for the number of cyclic subgroups of the direct product of several cyclic groups of arbitrary orders. We also point out extensions of Menon's identity in the one variable case, which seems to not appear in the literature.

研究动机与目标

• 将梅农恒等式从单变量推广至多变量算术函数。
• 推导出有限个任意阶循环群直积中循环子群数量的一般公式。
• 通过群作用与数论技巧，统一并推广现有的梅农型恒等式。
• 通过乘法函数，为p-群与一般阿贝尔群中的循环子群数量提供显式公式。

提出的方法

• 利用乘法函数性质与狄利克雷卷积，推导形如 ∑gcd(k−a₁,m₁)⋯gcd(k−aᵣ,mᵣ) 在 k 与 M 互素时的广义梅农型恒等式。
• 应用柯西-弗罗贝尼乌斯引理（伯恩赛德引理）于阿贝尔群上的群作用，通过不动点计数来计算循环子群数量。
• 引入函数 η^(a)(d₁,…,dᵣ)，以编码联立同余方程的可解性条件，确保求和的整数性。
• 利用最小公倍数与欧拉函数的结构，将求和表示为对除数的有限乘法和。
• 应用中国剩余定理与p进分解，将问题约化至素数幂情形。
• 采用欧拉乔丹函数与乘法数论函数，推广已知多项式与幂函数的恒等式。

实验结果

研究问题

• RQ1 梅农恒等式如何推广至多变量函数？
• RQ2 有限个任意阶循环群直积中循环子群的数量是多少？
• RQ3 能否将 ∑gcd(k−a₁,m₁)⋯gcd(k−aᵣ,mᵣ) 在 k 与 M 互素时的和表示为多变量的乘法函数？
• RQ4 联立同余方程 gcd(k−aᵢ,mᵢ)=dᵢ（i=1,…,r）的解的结构如何？
• RQ5 单变量梅农型求和的已知恒等式如何推广至多变量情形？

主要发现

• 在 C_{m₁}×⋯×C_{mᵣ} 中，循环子群的数量为 c(G) = ∑_{dᵢ|mᵢ} φ(d₁)⋯φ(dᵣ)/φ(lcm[d₁,…,dᵣ])，其为 r 个变量的乘法函数。
• 对于两个循环群，c(C_{m₁}×C_{m₂}) = ∑_{d₁|m₁, d₂|m₂} φ(gcd(d₁,d₂))。
• 对于p-群，c(C_{pᵘ}×C_{pᵛ}) = 2(1+p+⋯+p^{v−1}) + (u−v+1)pᵛ（当 u≥v 时）。
• 对于奇数 n 与 g(x)=xʲ−1，有 ∑_{gcd(k,n)=1} gcd(kʲ−1,n) = φ(n)∏_{d|j} τ(n_d^d)，其中 n_d 是满足 p≡1 mod d 的素数的乘积。
• 当 j=6 且 n 为奇数时，有 ∑_{gcd(k,n)=1} gcd(k⁶−1,n) = φ(n)τ(A⁶)τ(B²)，其中 A 为整除 n 且满足 p≡1 mod 6 的素数的乘积，B=n/A。
• ∑_{k≤M, gcd(k,M)=1} gcd(k−a₁,m₁)⋯gcd(k−aᵣ,mᵣ) 可被 φ(M) 整除，且等于一个涉及 η^(a)(d₁,…,dᵣ) 的有限和，该函数值为 1 当且仅当可解性与互素条件成立。