OFFSET
1,4
COMMENTS
a(n) is the smallest A such that p is a near-Wall-Sun-Sun prime. A gives the value of F_p-(p/5) modulo p^2 and a value of 0 would indicate a Wall-Sun-Sun prime. A244801 is similar but always gives the positive A, while this sequence gives A with the smallest absolute value.
a(1), with p=2, is technically ambiguous between 1 and -1, so a(1)=1 is by convention. Clearly this cannot happen for n>1 (where p^2 is odd). - Jeppe Stig Nielsen, Sep 09 2021
LINKS
Michael De Vlieger, Table of n, a(n) for n = 1..10000
R. J. McIntosh and E. L. Roettger, A search for Fibonacci-Wieferich and Wolstenholme primes, Math. Comp., 76 (2007), 2087-2094.
MATHEMATICA
Array[(#3 - #2 Boole[#3 > #2/2])/#1 & @@ {#, #^2, Mod[Fibonacci[# - KroneckerSymbol[#, 5]], #^2]} &@ Prime[#] &, 55] (* Michael De Vlieger, Sep 08 2021 *)
PROG
(PARI) forprime(p=2, 1e2, a=fibonacci(p-kronecker(p, 5))%p^2; if(a>p^2/2, a-=p^2); a=a/p; print1(a, ", "))
(PARI) a(n)=my(p=prime(n)); centerlift(((Mod([1, 1; 1, 0], p^2))^(p-kronecker(p, 5))))[1, 2]/p \\ Charles R Greathouse IV, Aug 21 2014
CROSSREFS
KEYWORD
sign
AUTHOR
Felix Fröhlich, Aug 13 2014
STATUS
approved