A Mersenne number is an integer that is one less than a power of 2, i.e. it is of the form where is a positive integer. A Mersenne prime number (or a Mersenne prime) is a Mersenne number that happens to be a prime number. This post is a brief discussion on Mersenne prime.
Because Mersenne numbers are exponential, they increase very rapidly. The first several Mersenne numbers starting with = 2.
3, 7, 15, 31, 63, 127, 255, 511, 1,023, 2,047, 4,095, 8,191, 16,383, 32,767, ……
It is clear from these examples that not all Mersenne numbers are prime (e.g. 15 and 63). In the above list, the numbers in red are prime and the ones in blue are composite. Note that the ones with composite exponent are composite: 15 ( = 4), 63 ( = 6), 255 ( = 8), 511 ( = 9) …. This is no coincidence.
The fact follows from the following identity.
Thus if we are interested in finding numbers that are prime, we must start with an exponent that is prime. For ease of discussion, define and assume that is prime.
Mersenne primes have a long history. Long before the computer age, people had been doing primality testing on Mersenne numbers. The first four Mersenne primes , for = 2, 3, 5, and 7, were known in antiquity. The next Mersenne prime was discovered before 1461. People at that time thought that is prime whenever is prime. In 1536, Hudalricus Regius found that . In 1603, Pietro Cataldi showed that is prime for = 17 and 19.
The name of Mersenne prime was due to the connection with the French monk Marin Mersenne. In his 1644 book Cognita Physico-Mathematica, Mersenne stated that is prime when = 2, 3, 5, 7, 13, 17, 19, 31, 67, 127 and 257. Some of these claims were later determined to be wrong. His list also missed some correct Mersenne primes. From then on, his name was attached to this particular type of prime numbers.
The next discovery of a Mersenne prime (after Pietro Cataldi), , was made by Leonhard Euler in 1772. The one found after Euler’s, , was made by Edouard Lucas in 1876. There were three more Mersenne primes discovered before the computer age – in 1883 by Ivan Pervushin, and by R. E. Powers in 1911 and 1914, respectively.
In the pre-computer age, there were long stretches of time in between discoveries of Mersenne primes. For example, it took almost 200 years after Pietro Cataldi for the next Mersenne prime to emerge (discovered by Euler). There were about 100 years in between Euler’s discovery and Lucas’ discovery.
Another important contribution made by Lucas is a test that he developed to test Mersenne numbers to see if they are prime. The test was originally developed in 1856 and later improved by him in 1878. It was further improved by Derrick Henry Lehmer in the 1930s. The test is now known as the Lucas-Lehmer test.
To perform the test, start with and recursively calculate until is obtained. Then perform the division of by . If is divisible by , then is prime. If is not divisible by , then is composite. It is interesting that when is found to be composite in this manner, the compositeness of is established without finding any prime factors of .
The computer discoveries of Mersenne primes began in 1952 by Raphael Robinson. The Lucas–Lehmer test is the primality test used by the Great Internet Mersenne Prime Search (GIMPS) to discover large primes. GIMPS is a distributed computing project on the Internet for finding large prime numbers.
As of the writing of this post (May 25, 2017), a total of 49 Mersenne primes had been discovered. The latest one is , with over 22 million digits, which was found in January 2016.
Despite of the computation advance, there are still many fundamental questions that are still not known about Mersenne primes. For example, how many Mersenne primes are there? It is not even known whether the set of Mersenne primes is finite or infinite. It is also not known whether infinitely many Mersenne numbers with prime exponents are composite.
Because of the Lucas-Lehmer test, whenever someone finds a new largest prime number, it is usually a Mersenne prime. So every few years or so, Mersenne prime is on the news for the reason of being discovered. For up-to-date information or to learn more about basic facts, go to the Mersenne prime website and the Wikipedia entry on Mersenne primes.
2017 – Dan Ma