On Fibonacci and Lucas sequences modulo a prime and primality testing

Abstract

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

Keywords

• Fibonacci and Lucas sequences
• Legendre symbol