Counting invertible sums of squares modulo n and a new generalization of Euler totient function
In this paper we introduce and study a family Φk of arithmetic functions generalizing Euler's totient function. These functions are given by the number of solutions to the equation gcd(x12+…+xk2,n)=1 with x1,…,xk∈Z/nZ which, for k=2,4 and 8 coincide, respectively, with the number of units in the rings of Gaussian integers, quaternions and octonions over Z/nZ. We prove that Φk is multiplicative for every k, we obtain an explicit formula for Φk(n) in terms of the prime-power decomposition of n and derive an asymptotic formula for ∑n≤xΦk(n). As a tool we investigate the multiplicative arithmetic function that counts the number of solutions to x12+…+xk2≡λ (mod n) for λ coprime to n, thus extending an old result that dealt only with the prime n case.