Menon-type identities derived from actions of subgroups of general linear groups (Q2360740)

Menon's identity states that \[ \sum_{a\in\mathbb{Z}_n^\ast}\gcd(a-1, n)=\varphi(n)\tau(n), \] where \(\varphi\) is Euler's totient function and \(\tau\) is the divisor number function, see [\textit{P. Kesava Menon}, J. Indian Math. Soc., New Ser. 29, 155--163 (1965; Zbl 0144.27706)]. This identity has been generalized in various directions in the literature. The present authors consider the actions of subgroups of the general linear group \(\mathrm{GL}_r(\mathbb{Z}_n)\) on \(\mathbb{Z}_n^r\), including groups of upper triangular matrices in \(\mathrm{GL}_r(\mathbb{Z}_n)\), unipotent groups, Heisenberg groups and extended Heisenberg groups. By applying the Cauchy-Frobenius-Burnside lemma, they obtain several generalizations of Menon's identity. The authors follow the method used in [\textit{M. Tãrnãuceanu}, J. Number Theory 132, No. 11, 2568--2573 (2012; Zbl 1276.11010)] and also revise the main theorem presented that paper. These results are also closely related to those of \textit{B. Sury} [Rend. Circ. Mat. Palermo (2) 58, No. 1, 99--108 (2009; Zbl 1187.20015)]. In an erratum [ibid. 183, 500 (2018)] the correct address of the second author has been given.