Abstract
We propose a deterministic primality test based on a section of a group scheme. Pépin’s test and the tests of Lucas–Lehmer type are special cases of our construction, provided the group scheme is taken to be the multiplicative group and the Waterhouse–Weisfeiler group scheme, respectively. Besides, we suggest a test involving formal completions of these schemes.
Similar content being viewed by others
References
Gross B.: An elliptic curve test for Mersenne primes. J. Number Theory 110, 114–119 (2005)
Kida M.: Primality tests using algebraic groups. Experim. Math. 13, 421–427 (2004)
Lehmer D.H.: An extended theory of Lucas’ functions. Ann. Math. 31, 419–448 (1930)
Lucas É.: Nouveaux théorèmes d’arithmétique supérieure. C. R. Acad. Sci. Paris 83, 1286–1288 (1876)
Pépin P.: Sur la formule \({2^{2^n}+1}\) . C.R. Acad. Sci. Paris 85, 329–331 (1877)
Riesel H.: Lucasian criteria for the primality of N = h2n−1. Math. Comp. 23, 869–875 (1969)
Rosen M.: A proof of the Lucas–Lehmer test. Amer. Math. Monthly 95, 855–856 (1988)
N. Suwa, On probable prime testings, Proc. 2003 Workshop on Cryptography and Related Mathematics, Chuo Univ., Tokyo, 2003, pp. 187–198.
Waterhouse W.C., Weisfeiler B.: One-dimensional affine group schemes. J. Algebra 66, 550–568 (1980)
H. C. Williams, Édouard Lucas and Primality Testing, CMS Ser. Monographs and Adv. Texts, vol. 22, New York, John Wiley & Sons, 1998.
Williams H.C., Zarnke C.R.: A report on prime numbers of the form M = (6a + 1)22m-1−1. Math. Comp. 22, 420–422 (1968)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gurevich, A., Kunyavskiĭ, B. Primality testing through algebraic groups. Arch. Math. 93, 555–564 (2009). https://doi.org/10.1007/s00013-009-0065-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-009-0065-9