
Wall-Sun-Sun primes and Fibonacci divisibility
Conjecture For any prime
, there exists a Fibonacci number divisible by
exactly once.


Equivalently:
Conjecture For any prime
,
does not divide
where
is the Legendre symbol.




Let be an odd prime, and let
denote the
-adic valuation of
. Let
be the smallest Fibonacci number that is divisible by
(which must exist by a simple counting argument). A well-known result says that
unless
divides
, and
. This conjecture asserts that
for all
. This has been verified up to at least
. [EJ]
This conjecture is equivalent to non-existence of Wall-Sun-Sun primes.
Bibliography
[EJ] Andreas-Stephan Elsenhansand and Jörg Jahnel, The Fibonacci sequence modulo p^2
[R] Marc Renault, Properties of the Fibonacci Sequence Under Various Moduli
*[W] D. D. Wall, Fibonacci Series Modulo m, American Mathematical Monthly, 67 (1960), pp. 525-532.
* indicates original appearance(s) of problem.