A Menon-type Identity derived using Cohen-Ramanujan sum

Arya Chandran,K Vishnu Namboothiri

2023-07-01

Abstract:Menon's identity is a classical identity involving gcd sums and the Euler totient function $\phi$. We derived the Menon-type identity $\sum\limits_{\substack{m=1\\(m.n^s)_s=1}}^{n^s} (m-1,n^s)_s=\Phi_s(n^s)\tau_s(n^s)$ in Czechoslovak Math. J., 72(1):165-176 (2022) where $\Phi_s$ denotes the Klee's function and $(a,b)_s$ denotes a a generalization of the gcd function. Here we give an alternate method to derive this identity using the concept of Cohen-Ramanujan sum.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to derive a Menon - type identity by using the Cohen - Ramanujan sum function. Specifically, the author aims to provide a new method to prove the following Menon - type identity:

\[
\sum_{m = 1}^{n^s}(m,n^s)_s = 1\cdot(m - 1,n^s)_s=\Phi_s(n^s)\tau_s(n^s)
\]

where:
- \((a,b)_s\) represents the generalized greatest common divisor (generalized gcd);
- \(\Phi_s(n)\) is the Klee function, representing the number of \(s\)-th power - free numbers that are coprime to \(n\);
- \(\tau_s(n)\) is the generalized divisor function.

### Background of the paper
The classical Menon identity was proposed by P. Kesava Menon in 1965 in the following form:

\[
\sum_{m = 1}^{n}[(m,n)=1]\cdot(m - 1,n)=\varphi(n)\tau(n)
\]

where:
- \(\varphi(n)\) is the Euler function, representing the number of positive integers less than or equal to \(n\) and coprime to \(n\);
- \(\tau(n)\) is the divisor function, representing the number of positive divisors of \(n\).

Many researchers have generalized and extended the Menon identity. For example, Li and Kim in 2017 generalized it to the unit group in a residually finite Dedekind domain. Based on this, the author of this paper further generalizes this result and provides a new proof method using the Cohen - Ramanujan sum function.

### Main contributions
The main contributions of this paper are as follows:
1. Propose a new proof method for the Menon - type identity using the Cohen - Ramanujan sum function.
2. Derive and verify the relationship between the generalized gcd function and the Cohen - Ramanujan sum function.
3. By introducing the generalized gcd function and the Cohen - Ramanujan sum function, enrich the theoretical framework of the Menon identity in number theory.

### Method overview
The author completes the proof through the following steps:
1. **Lemma proof**: First, prove several key lemmas, including the properties of the Klee function and the generalized gcd function.
2. **Main theorem derivation**: Use these lemmas to gradually derive the target identity.
3. **Apply the Cohen - Ramanujan sum function**: Apply the properties of the Cohen - Ramanujan sum function to the summation process and finally obtain the required identity.

This method not only provides a new perspective for the Menon identity but also shows the application potential of the Cohen - Ramanujan sum function in number - theory problems.