On a generalization of Menon-Sury identity to number fields involving a Dirichlet Character

Abstract

For every positive integer $n$, Sita Ramaiah's identity states that \medskip \begin{equation*} \sum_{a_1, a_2, a_1+a_2 \in (\mathbb{Z}/n\mathbb{Z})^*} \gcd(a_1+a_2-1,n) = ϕ_2(n)σ_0(n) \; \text{ where } \; ϕ_2(n)= \sum_{a_1, a_2, a_1+a_2 \in (\mathbb{Z}/n\mathbb{Z})^*} 1, \end{equation*} \medskip where $(\mathbb{Z}/n\mathbb{Z})^*$ is the multiplicative group of units of the ring $\mathbb{Z}/n\mathbb{Z}$ and $σ_s(n) = \displaystyle\sum_{d\mid n}d^s$. \smallskip This identity can also be viewed as a generalization of Menon's identity. In this article, we generalize this identity to an algebraic number field $K$ involving a Dirichlet character $χ$. Our result is a further generalization of a recent result in \cite{wj} and \cite{sury}.