Homepage › Solution manuals › Kenneth Ireland › A Classical Introduction to Modern Number Theory › Exercise 1.25
Exercise 1.25
If is a prime, show that and that is a prime. Primes of the form are called Mersenne primes. For example, and . It is not known if there are infinitely many Mersenne primes.
Answers
Proof. Suppose , and is a prime. As are not primes, .
Since , is a factor of the prime , so or .
As , and , is impossible, thus .
If wasn’t prime, then , and
where . Therefore has a non trivial factor. This is impossible, therefore is a prime.
Conclusion: if is a prime, then and is a prime. □