A259502 - OEIS

A259502

Primes p such that nextprime(p + 1)^(p - 1) == 1 (mod p^2).

5, 47, 151051, 240727, 911135839

(list; graph; refs; listen; history; text; internal format)

OFFSET

1,1

COMMENTS

Nextprime as defined in A007918.

These are Wieferich primes p to a prime base q where the difference between p and q has minimal or almost minimal (if the difference between p and the previous prime is smaller) value.

No further terms up to 10^9.

Contains the intersection of A355959 and A001359. Similarly, it contains primes from A355961, A355963, and A355965 whenever the distance to the next prime is 6, 8, and 10, respectively. - Max Alekseyev, Nov 05 2025

LINKS

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

PROG

(PARI) forprime(p=1, , if(Mod(nextprime(p+1), p^2)^(p-1)==1, print1(p, ", ")))

CROSSREFS

Cf. A001220, A007918, A244546, A260377, A260507, A267487, A306909, A355545, A355959, A355963, A355965.

Sequence in context: A069985 A300336 A086776 * A291863 A247705 A215543

Adjacent sequences: A259499 A259500 A259501 * A259503 A259504 A259505

KEYWORD

nonn,hard,more

AUTHOR

Felix Fröhlich, Nov 08 2015

STATUS

approved