TOPICS
Search

Perrin Pseudoprime


A Perrin pseudoprime in the unrestricted sense is a composite number n satisfying n|P_n, where P_n is an element of the Perrin sequence 3, 0, 2, 3, 2, 5, 5, 7, 10, 12, 17, ... (OEIS A001608). Every prime number p satisfies p|P_p. The smallest unrestricted Perrin pseudoprimes are 271441, 904631, 16532714, 24658561, ... (OEIS A013998). Unlike a Perrin prime, a Perrin pseudoprime is a composite index, rather than a prime number value of the Perrin sequence.

Adams and Shanks (1982) discovered the smallest unrestricted Perrin pseudoprime after unsuccessful searches by Perrin (1899), Malo (1900), Escot (1901), and Jarden (1966). Stewart (1996) incorrectly stated that no Perrin pseudoprimes were then known.

Grantham (2001) defined a Perrin pseudoprime with integer parameters (r,s) to be an odd composite number n for which either

1. (Delta/n)=1 and n has an S- or I-recurrence relation signature, or

2. (Delta/n)=-1 and n has a Q-recurrence relation signature,

where Delta is the discriminant of f(x)=x^3-rx^2+sx-1 and (a/b) is the Jacobi symbol. The original Perrin sequence corresponds to (r,s)=(0,-1) and Delta=-23. For these parameters, Grantham's restricted Perrin pseudoprimes begin 27664033, 46672291, 102690901, ... (OEIS A275613).

The minimal restricted Perrin test imposes only n|P_n and P_(-n)=-1 (mod n) on a composite number n. Its pseudoprimes begin 27664033, 46672291, 102690901, ... (OEIS A018187) and need not satisfy Grantham's signature conditions. Kurtz et al. (1986) found all 55 minimal restricted Perrin pseudoprimes less than 50×10^9, each of which has an S-recurrence relation signature.


See also

Perrin Prime, Perrin Sequence, Pseudoprime

Explore with Wolfram|Alpha

References

Adams, W. and Shanks, D. "Strong Primality Tests that Are Not Sufficient." Math. Comput. 39, 255-300, 1982.Adams, W. W. "Characterizing Pseudoprimes for Third-Order Linear Recurrence Sequences." Math. Comput. 48, 1-15, 1987.Bach, E. and Shallit, J. Algorithmic Number Theory, Vol. 1: Efficient Algorithms. Cambridge, MA: MIT Press, p. 305, 1996.Escot, E.-B. "Solution to Item 1484." L'Intermédiare des Math. 8, 63-64, 1901.Grantham, J. "Frobenius Pseudoprimes." Math. Comput. 70, 873-891, 2001. https://doi.org/10.1090/s0025-5718-00-01197-2.Holzbaur, C. "Perrin Pseudoprimes." http://ftp.ai.univie.ac.at/perrin.html.Jarden, D. Recurring Sequences: A Collection of Papers, Including New Factorizations of Fibonacci and Lucas Numbers. Jerusalem, Israel: Riveon Lematematika, 1966.Kurtz, G. C.; Shanks, D.; and Williams, H. C. "Fast Primality Tests for Numbers Less than 50·10^9." Math. Comput. 46, 691-701, 1986.Malo, E. "Réponse à 1484." L'Intermédiare des Math. 7, 280-282 and 312-314, 1900.Perrin, R. "Item 1484." L'Intermédiare des Math. 6, 76-77, 1899.Ribenboim, P. The New Book of Prime Number Records, 3rd ed. New York: Springer-Verlag, p. 135, 1996.Sloane, N. J. A. Sequences A001608/M0429, A013998, A018187, and A275613 in "The On-Line Encyclopedia of Integer Sequences."Stewart, I. "Tales of a Neglected Number." Sci. Amer. 274, 102-103, June 1996.

Referenced on Wolfram|Alpha

Perrin Pseudoprime

Cite this as:

Weisstein, Eric W. "Perrin Pseudoprime." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/PerrinPseudoprime.html

Subject classifications