Difference between revisions of "Prime number"

(Fermat Primes)
Line 14: Line 14:
 
=== Fermat Primes ===
 
=== Fermat Primes ===
  
A [[Fermat prime]] is a prime of the form <math>2^n+1</math>. It can easily be shown that for such a number to be prime, ''n'' must not have any odd divisor larger than 1 and so must be a power of 2. Therefore all Fermat primes have the form <math>2^{2^n}+1</math>.  [[Fermat]] checked the cases <math>n=0,1,2,3,4</math> and conjectured that all such numbers were prime. However, <math>2^{2^5}+1=641\cdot 6700417</math>. In fact, no other Fermat primes have been found.
+
A [[Fermat prime]] is a prime of the form <math>2^n+1</math>. It can easily be shown that for such a number to be prime, ''n'' must not have any odd divisor larger than 1 and so must be a power of 2. Therefore all Fermat primes have the form <math>2^{2^n}+1</math>.  [[Fermat]] checked the cases <math>n=0,1,2,3,4</math> and conjectured that all such numbers were prime. However, <math>2^{2^5}+1=641\cdot 6700417</math>. <math>n</math> also fails if <math>n = 6</math>; <math>2^{2^6} + 1 = 274177\cdot 67280421310721</math>. In fact, no other Fermat primes have been found.
  
 
There is an easy proof of the infinitude of primes based on Fermat numbers (numbers of the form <math>2^{2^n} + 1</math>). One simply shows that any two Fermat numbers are [[relatively prime]].
 
There is an easy proof of the infinitude of primes based on Fermat numbers (numbers of the form <math>2^{2^n} + 1</math>). One simply shows that any two Fermat numbers are [[relatively prime]].

Revision as of 22:31, 6 April 2011

A prime number (or simply prime) is a positive integer $p>1$ whose only positive divisors are 1 and itself. Note that $1$ is usually defined as being neither prime nor composite because it is its only factor among the natural numbers.

It is well-known that there are an infinite number of prime numbers. A standard proof attributed to Euclid notes that if there are a finite set of prime numbers $p_1, p_2, \ldots, p_n$, then the number $N = p_1p_2\cdots p_n + 1$ is not divisible by any of them, but $N$ must have a prime factor, contradiction.

Identifying primes

Main article: Sieve of Eratosthenes

The Sieve of Eratosthenes is a relatively quick method for generating a list of the prime numbers. It is a method in which the multiples of all known primes are labeled as composites.

Importance of Primes

According to the Fundamental Theorem of Arithmetic, there is exactly one unique way to factor a positive integer into a product of primes (permutations not withstanding). This unique prime factorization plays an important role in solving many kinds of number theory problems.

Famous Primes

Fermat Primes

A Fermat prime is a prime of the form $2^n+1$. It can easily be shown that for such a number to be prime, n must not have any odd divisor larger than 1 and so must be a power of 2. Therefore all Fermat primes have the form $2^{2^n}+1$. Fermat checked the cases $n=0,1,2,3,4$ and conjectured that all such numbers were prime. However, $2^{2^5}+1=641\cdot 6700417$. $n$ also fails if $n = 6$; $2^{2^6} + 1 = 274177\cdot 67280421310721$. In fact, no other Fermat primes have been found.

There is an easy proof of the infinitude of primes based on Fermat numbers (numbers of the form $2^{2^n} + 1$). One simply shows that any two Fermat numbers are relatively prime.

Mersenne Primes

A Mersenne prime is a prime of the form $2^n-1$. For such a number to be prime, n must itself be prime. Compared to other numbers of comparable sizes, Mersenne numbers are easy to check for primality because of the Lucas-Lehmer test.

Twin Primes

Two primes that differ by exactly 2 are known as twin primes. The following are the smallest examples:
3, 5
5, 7
11, 13
17, 19
29, 31
41, 43

It is not known whether or not there are infinitely many pairs of twin primes. This is known as the Twin Prime Conjecture.

Gaussian Primes

A Gaussian prime is a prime that extends the idea of the traditional prime to the Gaussian integers. One can define this term for any ring, especially number rings.

Advanced Definition

When the need arises to include negative divisors, a prime is defined as an integer p whose only divisors are 1, -1, p, and -p. More generally, if R is an integral domain, then a nonzero element p of R is a prime if whenever we write $p=ab$ with $a,b\in R$, then exactly one of a and b is a unit.

See also