Lucas-Lehmer primality test

Theorem: Let p>2 be a prime, and let Mp be a Mersenne number, then Mp is prime iff Mp divides sp-1 where the numbers (sn)n1 are given by the following recurrence relationMathworldPlanetmath: s1=4, and


for n1.

Title Lucas-Lehmer primality test
Canonical name LucasLehmerPrimalityTest
Date of creation 2013-03-22 14:24:31
Last modified on 2013-03-22 14:24:31
Owner CWoo (3771)
Last modified by CWoo (3771)
Numerical id 8
Author CWoo (3771)
Entry type Theorem
Classification msc 11A51