

A320535


Number of solutions to (x+1)^p  x^p == 1 (mod p) in the range 1 <= x <= p  2, p = prime(n).


0



0, 0, 0, 2, 0, 2, 0, 2, 0, 0, 2, 2, 0, 2, 0, 0, 12, 2, 2, 0, 2, 8, 6, 0, 2, 0, 2, 0, 2, 0, 2, 0, 0, 2, 0, 2, 2, 2, 0, 0, 6, 2, 0, 8, 0, 2, 2, 2, 6, 2, 0, 0, 2, 0, 0, 0, 0, 2, 2, 0, 2, 0, 2, 0, 2, 0, 2, 8, 0, 2, 0, 0, 2, 2, 2, 0, 0, 2, 0, 2, 6, 8, 0, 2, 2, 6, 0
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

1,4


COMMENTS

For primes p > 2, (x+1)^p  x^p == 1 (mod p) has trivial solutions x == 0, 1 (mod p) so they are excluded.
Equivalently, a(n) is the number of solutions to x^(p1) == (x+1)^(p1) == 1 (mod p^2) in the range 1 <= x <= p^2  2, p = prime(n), that is, number of x such that both x and x + 1 occurs in the nth row of A143548.
All terms shown here are even. The first odd terms are a(183) = 17 and a(490) = 5, with corresponding primes prime(183) = 1093 and prime(490) = 3511. a(n) is odd iff prime(n) is in A001220.
Let g be a primitive root modulo p^2, then (x+1)^p  x^p == 1 (mod p^2) has nontrivial solutions x == g^((p1)/3) or g^(2*(p1)/3) (mod p), and x^(p1) == (x+1)^(p1) == 1 (mod p^2) has nontrivial solutions x == g^(p*(p1)/3) or g^(2*p*(p1)/3) (mod p^2). As a result, if prime(n) == 1 (mod 6) then a(n) > 0. Primes p == 5 (mod 6) such that the equations have nontrivial solutions are listed in A068209.
a(17) = 12 is surprisingly large comparing with its nearby terms. Among the first 1000 terms there are only 7 that are larger than 12. They are a(183) = 17 and a(385) = a(552) = a(582) = a(593) = a(739) = a(922) = 14 (the corresponding primes are 1093, 2659, 4003, 4243, 4339, 5623 and 7213).


LINKS

Table of n, a(n) for n=1..87.


EXAMPLE

The nontrivial solutions to (x+1)^7  x^7 == 1 (mod 49) are x == 2, 4 (mod 7); the solutions to x^6 == (x+1)^6 == 1 (mod 49) are x == 18, 30 (mod 49), so a(4) = 2.


PROG

(PARI) a(n) = my(p=prime(n)); sum(x=1, p2, Mod(x+1, p^2)^pMod(x, p^2)^p==1);


CROSSREFS

Cf. A001220, A068209, A143548.
Sequence in context: A245359 A103271 A029832 * A174479 A134269 A172444
Adjacent sequences: A320532 A320533 A320534 * A320536 A320537 A320538


KEYWORD

nonn


AUTHOR

Jianing Song, Oct 15 2018


STATUS

approved



