# pseudoprime

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  .

## References

• 1 R. Crandall & C. Pomerance, , Springer, NY, 2001: 5.1
Title pseudoprime Pseudoprime 2013-03-22 16:49:44 2013-03-22 16:49:44 CompositeFan (12809) CompositeFan (12809) 6 CompositeFan (12809) Definition msc 11A51