BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
A. Oller-Marcen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper we study the multiplicative function $ρ_{k,λ}(n)$ that counts the number of incongruent solutions of the equation $x_1^2+\cdots+x_k^2 \equiv λ\pmod{n}$. In particular we give closed explicit formulas for $ρ_{k,λ}(p^s)$ with a arithmetic complexity of constant order.
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(x_1^2+\ldots +x_k^2, n)=1$ with $x_1,\ldots,x_k \in {\mathbb{Z}}/n{\mathbb{Z}}$ which, for $k=2,4$ and $8$ coincide, respectively, with the number of units in the rings of Gaussian integers, quaternions and octonions over ${\mathbb{Z}}/n{\mathbb{Z}}$. 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 $\sum_{n\le x} Φ_k(n)$. As a tool we investigate the multiplicative arithmetic function that counts the number of solutions to $x_1^2+\ldots +x_k^2\equiv λ$ (mod $n$) for $λ$ coprime to $n$, thus extending an old result that dealt only with the prime $n$ case.
The structure of the group $(\mathbb{Z}/n\mathbb{Z})^\star$ and Fermat's little theorem are the basis for some of best-known primality testing algorithms. Many related concepts arise: Euler's totient function and Carmichael's lambda function, Fermat pseudoprimes, Carmichael and cyclic numbers, Lehmer's totient problem, Giuga's conjecture, etc. In this paper, we present and study analogues to some of the previous concepts arising when we consider the underlying group $\mathcal{G}_n:=\{a+bi\in\mathbb{Z}[i]/n\mathbb{Z}[i] : a^2+b^2\equiv 1\ \textrm{$\pmod n$}\}$. In particular we characterize Gaussian Carmichael numbers via a Korselt's criterion and we present their relation with Gaussian cyclic numbers. Finally, we present the relation between Gaussian Carmichael number and 1-Williams numbers for numbers $n \equiv 3 \pmod{4}$. There are also no known composite numbers less than $10^{18}$ in this family that are both pseudoprime to base $1+2i$ and 2-pseudoprime.