Homepage › Solution manuals › Kenneth Ireland › A Classical Introduction to Modern Number Theory › Exercise 1.26
Exercise 1.26
If is a prime, show that is even and that is a power of 2. Primes of the form are called Fermat primes. For example, and . It is not known if there are infinitely many Fermat primes.
Answers
Proof. If is a prime. Suppose , and . If was odd, is even, so is not a prime. Consequently, if is prime, , then is even.
Write , where is odd.
If , then, from Ex. 24(b), we obtain
So , and is a non trivial factor of , in contradiction with the hypothesis.
Conclusion : if is a prime ( ), is even and is a power of . □