Another regular Menon-type identity in residually finite Dedekind domains (Q2226637)

A Dedekind domain \(\mathfrak{D}\) is called residually finite if the residue class ring \(\mathfrak{D}/\mathfrak{n}\) is finite for each non-zero ideal \(\mathfrak{n}\). Let \(A\) be a regular convolution on such a \(\mathfrak{D}\) and for an ideal \(\mathfrak{n}\) of \(\mathfrak{D}\), let \(A(\mathfrak{n})\) be a subset of integral divisors of \(\mathfrak{n}\). For \(k \in \mathbb{N}\), let \(A_k(\mathfrak{n}) = \{\mathfrak{d}: \mathfrak{d}^k \in A(\mathfrak{n}^k)\}\). If \((\mathfrak{m}, \mathfrak{n}^k)_{A, k}\) is the greatest \(k\)-th power divisor of \(\mathfrak{m}\) which belongs to \(A(\mathfrak{n}^k)\) and \(a \in \mathfrak{D}/\mathfrak{n}^k\), define \[ \left(\langle a \rangle + \mathfrak{n}^k\right)_{A, k}:= \left(\langle a \rangle + \mathfrak{n}^k, \mathfrak{n}^k\right)_{A, k},\] where \(\langle a \rangle\) is the ideal generated by an arbitrary lifting of \(a\) in \(\mathfrak{D}\). If \(\left(\langle a \rangle + \mathfrak{n}^k\right)_{A, k} = \mathfrak{D}\), call \(a\) an \(A_k\)-unit and denote by \(\left( \mathfrak{D}/ \mathfrak{n}^k\right)^\times_{A, k}\) the set of all \(A_k\)-units of \( \mathfrak{D}/ \mathfrak{n}^k\).\par Also, let \[X_{A, k}(\mathfrak{n}):=\vert\{a, b\in (\mathfrak{D}/\mathfrak{n}^k)^\times_{A, k}:a+b \in (\mathfrak{D}/\mathfrak{n}^k)^{\times}_{A, k}\}\vert,\] \[A(\mathfrak{n}, \mathfrak{m}, \mathfrak{t}) := \sum_{a, b\in (\mathfrak{D}/\mathfrak{n}^k)^\times_{A, k} : a+b \in (\mathfrak{D}/\mathfrak{n}^k)^{\times}_{A, k}}N((\langle a+b-1\rangle + \mathfrak{n}^k)_{A, k}),\] where \(N(\mathfrak{n})\) is the cardinality of \(\mathcal{O}_K/\mathfrak{n}\), for the ring of integers \(\mathcal{O}_K\) in a number field \(K\).\par Main results.\par Theorem 1.\[A(\mathfrak{n}, \mathfrak{m}, \mathfrak{t}) = \left(\frac{\phi_{A, k}(\mathfrak{t})}{\phi_{A, k}(\mathfrak{m})\phi_{A, k}(\mathfrak{n}_1)}\right)^2\tau_{A_k}(\mathfrak{n}/\mathfrak{n}_1) X_{A, k}(\mathfrak{m})A(\mathfrak{n}_1, \mathfrak{D}, \mathfrak{n}_1),\] where \(\tau_{A_k}(\mathfrak{n})\) is the number of elements appearing in \(A_K(\mathfrak{n})\), \(\mathfrak{n}_1\) is the greatest divisor of \(\mathfrak{n}\) which is prime to \(\mathfrak{m}\) and \(\phi_{A, k}(\mathfrak{n}) := \vert(\mathfrak{D}/\mathfrak{n}^k)^x_{A, k}\vert\) is the regular Euler totient function.\par Theorem 2. Let \(\mathfrak{t} = \mathfrak{p}_1^{\gamma_1}\dots\mathfrak{p}_r^{\gamma_r}\) be the prime ideals factorization of \(\mathfrak{t}\) and \(\mathfrak{m} = \mathfrak{p}_1^{\beta_1}\dots\mathfrak{p}_r^{\beta_r}\), \(\mathfrak{n} = \mathfrak{p}_1^{\alpha_1}\dots\mathfrak{p}_r^{\alpha_r}\), where \(0\leqslant \alpha_i\), \(\beta_i \leqslant \gamma_i\) for \(1 \leqslant i \leqslant r\). Then we have \[A(\mathfrak{n}, \mathfrak{m}, \mathfrak{t}) = \prod_{i=1}^rA(\mathfrak{p}^\alpha, \mathfrak{p}^\beta, \mathfrak{p}^\gamma).\] \par Theorem 3. Let \(\mathfrak{p}\) be a prime ideal of \(\mathfrak{D}\) and \(\gamma\) a positive integer. Let \(0 \leqslant \alpha,\ \beta \leqslant \gamma\). Then \[A(\mathfrak{p}^\alpha, \mathfrak{p}^\beta, \mathfrak{p}^\gamma) = X_{A, k} (\mathfrak{p}^\gamma)(\alpha / t + 1) + N(\mathfrak{p})^{\gamma k - 1}\phi_{A, k}(\mathfrak{p}^\gamma),\;\; \text{if}\;\; \beta = 0,\] and \[A(\mathfrak{p}^\alpha, \mathfrak{p}^\beta, \mathfrak{p}^\gamma) =X_{A, k} (\mathfrak{p}^\gamma)(\alpha / t + 1),\;\;\text{if}\;\; 1 \leqslant \beta \leqslant \gamma.\]