{"id":"arxiv/2606.01633","url":"https://arxiv.org/abs/2606.01633","tags":["math.NT"],"score":0,"title":"On a problem on a generalization of Euler's totient function","domain":"math.NT","source":"arxiv","authors":["John M. Campbell"],"reviews":0,"subject":"math.NT","summary":"Büyükaşik et al. [Publ. Math. Debrecen, 2024] introduced a family of generalizations of Euler's totient function $\\varphi(n)$, by setting $\\varphi_k(n) = \\sum_{a} a^k$ for $a \\in [1, n]$ such that $(a, n) = 1$, with $\\varphi_0(n) = \\varphi(n)$. Letting $\\mathcal{D}_{s} = \\{ k \\geq s : \\forall n \\geq 1 \\ \\varphi_s(n) \\mid \\varphi_k(n) \\}$, Büyükaşik et al. proved that $\\mathcal{D}_{s}$ is finite for each $s \\geq 0$, and conjectured that $\\mathcal{D}_{1} = \\{ 1, 3, 15 \\}$ and provided computations to support this conjecture. We succeed in proving this conjecture, using an argument based on our…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-01","reactions":{}}