Pseudoprime

Summary

A pseudoprime is a probable prime (an integer that shares a property common to all prime numbers) that is not actually prime. Pseudoprimes are classified according to which property of primes they satisfy.

Some sources use the term pseudoprime to describe all probable primes, both composite numbers and actual primes.

Pseudoprimes are of primary importance in public-key cryptography, which makes use of the difficulty of factoring large numbers into their prime factors. Carl Pomerance estimated in 1988 that it would cost $10 million to factor a number with 144 digits, and $100 billion to factor a 200-digit number (the cost today is dramatically lower but still prohibitively high).[1][2] But finding two large prime numbers as needed for this use is also expensive, so various probabilistic primality tests are used, some of which in rare cases inappropriately deliver composite numbers instead of primes. On the other hand, deterministic primality tests, such as the AKS primality test, do not give false positives; there are no pseudoprimes with respect to them.

Fermat pseudoprimes edit

Fermat's little theorem states that if p is prime and a is coprime to p, then ap−1 − 1 is divisible by p. For an integer a > 1, if a composite integer x divides ax−1 − 1, then x is called a Fermat pseudoprime to base a. It follows that if x is a Fermat pseudoprime to base a, then x is coprime to a. Some sources use variations of this definition, for example to allow only odd numbers to be pseudoprimes.[3]

An integer x that is a Fermat pseudoprime to all values of a that are coprime to x is called a Carmichael number.

Classes edit

References edit

  1. ^ Clawson, Calvin C. (1996). Mathematical Mysteries: The Beauty and Magic of Numbers. Cambridge: Perseus. p. 195. ISBN 0-7382-0259-2.
  2. ^ Cipra, Barry Arthur (December 23, 1988). "PCs Factor a 'Most Wanted' Number". Science. 242 (4886): 1634–1635. Bibcode:1988Sci...242.1634C. doi:10.1126/science.242.4886.1634. PMID 17730568.
  3. ^ Weisstein, Eric W. "Fermat Pseudoprime". MathWorld.