In mathematics, a double Mersenne number is a Mersenne number of the form
where n is a positive integer.
The first few double Mersenne numbers are
- MM1 = M1 = 1
- MM2 = M3 = 7
- MM3 = M7 = 127
- MM4 = M15 = 32767 = 7 × 31 × 151
- MM5 = M31 = 2147483647
- MM6 = M63 = 9223372036854775807 = 72 × 73 × 127 × 337 × 92737 × 649657
- MM7 = M127 = 7170141183460469231731687303715884105727
A double Mersenne number that is prime is called a double Mersenne prime. Since a Mersenne number Mn can be prime only if n is prime, (see Mersenne number for a proof of this), a double Mersenne number MMn can be prime only if Mn is prime. The first values of n for which Mn is prime are n = 2, 3, 5, 7, 13, 17, 19, 31. Of these, MMn is known to be prime for n = 2, 3, 5, 7; for n = 13, 17, 19, and 31, explicit factors have been found. If another double Mersenne prime is ever found, it would almost certainly be the largest known prime number.