English

On the congruence $1^m + 2^m + \dotsb + m^m \equiv n \pmod{m}$ with $n | m$

Number Theory 2015-06-17 v7

Abstract

We show that if the congruence above holds and nmn\mid m, then the quotient Q:=m/nQ:=m/n satisfies pQQp+10(modQ)\sum_{p\mid Q} \frac{Q}{p}+1 \equiv 0\pmod{Q}, where pp is prime. The only known solutions of the latter congruence are Q=1Q=1 and the eight known primary pseudoperfect numbers 2,6,42,1806,47058,2214502422,52495396602,2,6,42, 1806, 47058, 2214502422, 52495396602, and 84904215835596884107067712610868490421583559688410706771261086. Fixing QQ, we prove that the set of positive integers nn satisfying the congruence in the title, with m=Qnm=Q n, is empty in case Q=52495396602Q=52495396602, and in the other eight cases has an asymptotic density between bounds in (0,1)(0,1) that we provide.

Keywords

Cite

@article{arxiv.1309.7941,
  title  = {On the congruence $1^m + 2^m + \dotsb + m^m \equiv n \pmod{m}$ with $n | m$},
  author = {José María Grau and Antonio M. Oller-Marcén and Jonathan Sondow},
  journal= {arXiv preprint arXiv:1309.7941},
  year   = {2015}
}

Comments

13 pages, 1 table; introduced proofs of Lemma 5 and Theorem 5; notational changes ($\mathfrak{M}_Q\to \mathfrak{N}_Q$) and some typos corrected