login
Numbers k such that A031971(2*k) <> k (mod 2*k).
19

%I #23 Sep 30 2020 03:29:46

%S 3,6,9,10,12,15,18,20,21,24,27,30,33,36,39,40,42,45,48,50,51,54,55,57,

%T 60,63,66,69,70,72,75,78,80,81,84,87,90,93,96,99,100,102,105,108,110,

%U 111,114,117,120,123,126,129,130,132,135,136,138,140,141,144

%N Numbers k such that A031971(2*k) <> k (mod 2*k).

%C Complement of A229303.

%C The asymptotic density is in [0.41545, 0.416846].

%C If n is in A then k*n is in A for all natural number k.

%C The numbers k = 1, 2, 6, 42, 1806, 47058, 2214502422, 8490421583559688410706771261086 = A230311 are the only values of k such that the set {n: A031971(k*n) == n (mod k*n)} is nonempty. Its smallest element is n = 1, 1, 1, 1, 1, 5, 5, 39607528021345872635 = A231409. [Comment corrected and expanded by _Jonathan Sondow_, Dec 10 2013]

%H Amiram Eldar, <a href="/A229307/b229307.txt">Table of n, a(n) for n = 1..10000</a>

%H José María Grau, Antonio M. Oller-Marcén and Jonathan Sondow, <a href="https://doi.org/10.1007/s00605-014-0660-0">On the congruence 1^m + 2^m + ... + m^m = n (mod m), with n|m</a>, Monatshefte für Mathematik, Vol. 177, No. 3 (2015), pp. 421-436, <a href="https://arxiv.org/abs/1309.7941">preprint</a>, arXiv:1309.7941 [math.NT], 2013-2014.

%t g[n_] := Mod[Sum[PowerMod[i, n, n], {i, n}], n]; Select[Range[500], !g[2*#] == # &]

%Y Cf. A031971.

%Y Cf. A014117 (numbers n such that A031971(n)==1 (mod n)).

%Y Cf. A229300 (numbers n such that A031971(1806*n)== n (mod n*1806)).

%Y Cf. A229301 (numbers n such that A031971(42*n) == n (mod 42*n)).

%Y Cf. A229302 (numbers n such that A031971(6*n) == n (mod 6*n)).

%Y Cf. A229303 (numbers n such that A031971(2*n) == n (mod 2*n)).

%Y Cf. A229304 (numbers n such that A031971(1806*n) <> n (mod n*1806)).

%Y Cf. A229305 (numbers n such that A031971(42*n) <> n (mod 42*n)).

%Y Cf. A229306 (numbers n such that A031971(6*n) <> n (mod 6*n)).

%Y Cf. A229307 (numbers n such that A031971(2*n) <> n (mod 2*n)).

%Y Cf. A229308 (primitive numbers in A229304).

%Y Cf. A229309 (primitive numbers in A229305).

%Y Cf. A229310 (primitive numbers in A229306).

%Y Cf. A229311 (primitive numbers in A229307).

%K nonn

%O 1,1

%A _José María Grau Ribas_, Sep 24 2013