10.12.2012 Views

Prime Numbers

Prime Numbers

Prime Numbers

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

132 Chapter 3 RECOGNIZING PRIMES AND COMPOSITES<br />

Proofs of Fermat’s little theorem may be found in any elementary number<br />

theory text. One particularly easy proof uses induction on a and the binomial<br />

theorem to expand (a +1) n .<br />

When a is coprime to n we may divide both sides of (3.2) by a to obtain<br />

a n−1 ≡ 1(modn). (3.3)<br />

Thus, (3.3) holds whenever n is prime and n does not divide a.<br />

We say that a composite number n is a (Fermat) pseudoprime if (3.2)<br />

holds. For example, n = 91 is a pseudoprime base 3, since 91 is composite<br />

and 3 91 ≡ 3 (mod 91). Similarly, 341 is a pseudoprime base 2. The base a =1<br />

is uninteresting, since every composite number is a pseudoprime base 1. We<br />

suppose now that a ≥ 2.<br />

Theorem 3.4.2. For each fixed integer a ≥ 2, the number of Fermat<br />

pseudoprimes base a that are less than or equal to x is o(π(x)) as x →∞.<br />

That is, Fermat pseudoprimes are rare compared with primes.<br />

For pseudoprimes defined via the congruence (3.3), this theorem was first<br />

proved in [Erdős 1950]. For the possibly larger class of pseudoprimes defined<br />

via (3.2), the theorem was first proved in [Li 1997].<br />

Theorem 3.4.2 tells us that using the Fermat congruence to distinguish<br />

between primes and composites is potentially very useful. However, this was<br />

known as a practical matter long before the Erdős proof.<br />

Note that odd numbers n satisfy (3.3) for a = n−1, so that the congruence<br />

does not say very much about n in this case. If (3.3) holds for a pair n, a,where<br />

1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!