Mersenne Prime Checker

M(n) = 2ⁿ − 1

CalculatorsFreeNo Signup
4.7(696 reviews)
All Tools

Loading tool...

About Mersenne Prime Checker

A Mersenne prime checker testing if M(n) = 2ⁿ−1 is prime using the Lucas-Lehmer test. Shows known Mersenne primes, perfect number connection, and the GIMPS project. Tests small n directly. Client-side.

Mersenne Prime Checker Features

  • Mersenne test
  • Lucas-Lehmer
  • Known primes
  • Perfect numbers
  • GIMPS
Mersenne prime: M(p) = 2ᵖ−1 where p is prime and M(p) is prime. Known: M(2)=3, M(3)=7, M(5)=31, M(7)=127... 51 known as of 2024. Each Mersenne prime gives a perfect number: 2ᵖ⁻¹(2ᵖ−1). Lucas-Lehmer test: efficient primality proof.

How to Use

Enter n:

  • M(n): 2ⁿ−1
  • Prime?: Lucas-Lehmer test
  • Perfect: Associated number

Lucas-Lehmer Test

For odd prime p: define s₀=4, sₙ=sₙ₋₁²−2 (mod M(p)). M(p) is prime iff s_{p-2}≡0 (mod M(p)). Runs in O(p² log p) time. The most efficient known primality test for Mersenne numbers.

GIMPS Project

Great Internet Mersenne Prime Search: distributed computing since 1996. Has found 17 of the 51 known Mersenne primes. The largest known prime (2024): 2^136,279,841−1 (41,024,320 digits). Prizes available for discoveries.

Step-by-Step Instructions

  1. 1Enter p.
  2. 2Check if 2ᵖ−1 prime.
  3. 3View Lucas-Lehmer.
  4. 4Get perfect number.
  5. 5See known primes.

Mersenne Prime Checker — Frequently Asked Questions

Why are Mersenne primes special?+

The Lucas-Lehmer test makes them the easiest large primes to verify. Every Mersenne prime gives a perfect number. The largest known primes are almost always Mersenne primes. GIMPS has found record-breaking primes for decades.

Why must n be prime for M(n) to be prime?+

If n=ab, then 2ⁿ−1 = (2ᵃ−1)(2^(a(b-1))+...+1). So M(n) has M(a) as factor. Example: M(6)=63=7×9=M(3)×9. Composite n always gives composite M(n). But prime n doesn't guarantee M(n) is prime: M(11)=2047=23×89.

What is the connection to perfect numbers?+

Euler proved: every even perfect number has the form 2^(p-1)·(2^p-1) where 2^p-1 is a Mersenne prime. Whether odd perfect numbers exist is one of the oldest unsolved problems in mathematics (none found, none proven impossible).

Share this tool: