A generalization of Menon's identity (Q452388): Difference between revisions

\textit{P. Kesava Menon's} [J. Indian Math. Soc., New Ser. 29, 155--163 (1965; Zbl 0144.27706)] identity is \[ \sum_{a\in U(\mathbb Z_n)} \mathrm{gcd}(n, a-1)=\varphi(n)\tau(n), \] where \(\varphi(n)\) is Euler's totient function and \(\tau(n)\) is the number of divisors of \(n\). The author presents a generalization of this identity applying Burnside's lemma to the natural action of the group of upper triangular matrices contained in \(\mathrm{GL}_r(\mathbb Z_n)\).