PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very low
pseudoprime (Definition)

A pseudoprime is a composite number $ p$ that passes a given primality test. In other words, a pseudoprime is a false positive on a primality test.

The primality test is usually a power congruence to a given base $ b$ that is coprime to $ p$, such as $ b^{p - 1} \equiv 1 \mod p$ (from Fermat's little theorem). For example, if $ p$ is an odd prime, then the congruence $ 2^{p - 1} \equiv 1 \mod p$ will be true, but in reverse, $ p$ can satisfy the congruence but turn out to be an odd composite number. Such pseudoprimes are then called pseudoprime to base $ b$, and in our example with $ b = 2$, the first few are 341, 561, 645, 1105, 1387, 1729, 1905 (A001567 in Sloane's OEIS). According to Neil Sloane, writing in the OEIS, the term “pseudoprime” is sometimes used specifically to refer to pseudoprimes to base 2. These are sometimes called Sarrus numbers.

Another kind of pseudoprimes are those in which a composite $ p$ divides an element it indexes in a Fibonacci-like sequence. For example, a Perrin pseudoprime $ p$ divides $ a_p$, where $ a_n$ is the $ n$-th element in the Perrin sequence.

Bibliography

1
R. Crandall & C. Pomerance, Prime Numbers: A Computational Perspective, Springer, NY, 2001: 5.1



"pseudoprime" is owned by CompositeFan.
(view preamble)

View style:


Attachments:
table of pseudoprimes below 2000 in bases 2 to 16 (Example) by PrimeFan
Log in to rate this entry.
(view current ratings)

Cross-references: Perrin sequence, Perrin pseudoprime, sequence, indexes, divides, numbers, term, Neil Sloane, OEIS, prime, odd, Fermat's little theorem, coprime, base, congruence, positive, primality, composite number
There are 6 references to this entry.

This is version 3 of pseudoprime, born on 2007-03-13, modified 2008-05-30.
Object id is 9068, canonical name is PseudoprimeP.
Accessed 673 times total.

Classification:
AMS MSC11A51 (Number theory :: Elementary number theory :: Factorization; primality)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)