English

On Menon-Sury's identity with several Dirichlet characters

Number Theory 2018-07-26 v2

Abstract

The Menon-Sury's identity is as follows: \begin{equation*} \sum_{\substack{1 \leq a, b_1, b_2, \ldots, b_r \leq n\\\mathrm{gcd}(a,n)=1}} \mathrm{gcd}(a-1,b_1, b_2, \ldots, b_r,n)=\varphi(n) \sigma_r(n), \end{equation*} where φ\varphi is Euler's totient function and σr(n)=dndr\sigma_r(n)=\sum_{d\mid n}{d^r}. Recently, Li, Hu and Kim \cite{L-K} extended the above identity to a multi-variable case with a Dirichlet character, that is, they proved \begin{equation*} \sum_{\substack{a\in\Bbb Z_n^\ast \\ b_1, \ldots, b_r\in\Bbb Z_n}} \mathrm{gcd}(a-1,b_1, b_2, \ldots, b_r,n)\chi(a)=\varphi(n)\sigma_r{\left(\frac{n}{d}\right)}, \end{equation*} where χ\chi is a Dirichlet character modulo nn and dd is the conductor of χ\chi. In this paper, we explicitly compute the sum \begin{equation*}\sum_{\substack{a_1, \ldots, a_s\in\Bbb Z_n^\ast \\ b_1, ..., b_r\in\Bbb Z_n}}\gcd(a_1-1, \ldots, a_s-1,b_1, \ldots, b_r, n)\chi_{1}(a_1) \cdots \chi_{s}(a_s).\end{equation*} where χi(1is)\chi_{i} (1\leq i\leq s) are Dirichlet characters mod nn with conductor did_i. A special but common case of our main result reads like this : \begin{equation*}\sum_{\substack{a_1, \ldots, a_s\in\Bbb Z_n^\ast \\ b_1, ..., b_r\in\Bbb Z_n}}\gcd(a_1-1, \ldots, a_s-1,b_1, \ldots, b_r, n)\chi_{1}(a_1) \cdots \chi_{s}(a_s)=\varphi(n)\sigma_{s+r-1}\left(\frac{n}{d}\right)\end{equation*} if dd and nn have exactly the same prime factors, where d=lcm(d1,,ds)d={\rm lcm}(d_1,\ldots,d_s) is the least common multiple of d1,,dsd_1,\ldots,d_s. Our result generalizes the above Menon-Sury's identity and Li-Hu-Kim's identity.

Keywords

Cite

@article{arxiv.1807.07241,
  title  = {On Menon-Sury's identity with several Dirichlet characters},
  author = {Man Chen and Su Hu and Yan Li},
  journal= {arXiv preprint arXiv:1807.07241},
  year   = {2018}
}

Comments

12 pages

R2 v1 2026-06-23T03:06:51.321Z