On Fibonacci and Lucas sequences modulo a prime and primality testing

摘要

We prove two properties regarding the Fibonacci and Lucas Sequences modulo a prime and use these to generalize the well-known property p ∣ F p ? p 5 . We then discuss these results in the context of primality testing.