Menon's identity in residually finite Dedekind domains (Q2637457)

Menon's identity states that \[ \sum_{k=1\atop (k, n)=1}^{n} (k-1, n)=\varphi(n)\tau(n), \] where \(\varphi\) is Euler's totient function and \(\tau\) is the divisor function (see \textit{P. Kesava Menon} [J. Indian Math. Soc., New Ser. 29, 155--163 (1965; Zbl 0144.27706)]). This identity has been generalized by many authors. For a survey see \textit{L. Tóth} [Rend. Semin. Mat., Univ. Politec. Torino 69, No.~1, 97--110 (2011; Zbl 1235.11011)]. The present author extends Menon's identity to residually finite Dedekind domains, that is, to Dedekind domains \(\mathfrak{D}\) such that for each non-zero ideal \(\mathfrak{n}\) of \(\mathfrak{D}\), the residue class ring \(\mathfrak{D}/\mathfrak{n}\) is finite.