论文信息 - Primality testing through algebraic groups

Primality testing through algebraic groups

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.

Alexander Gurevich | A. Gurevich | B. Kunyavskii | Boris Kunyavskiĭ

[1] Masanari Kida. Primality Tests Using Algebraic Groups , 2004, Exp. Math..

[2] H. Riesel. Lucasian criteria for the primality of =ℎ⋅2ⁿ-1 , 1969 .

[3] M. Rosen. A proof of the Lucas-Lehmer test , 1988 .

[4] William C. Waterhouse,et al. One-Dimensional Affine Group Schemes* , 1980 .

[5] A report on prime numbers of the forms =(6+1)2^{2-1}-1 and ^{’}=(6-1)2^{2}-1 , 1968 .

[6] H. C. Williams,et al. Édouard Lucas and primality testing , 1999 .

[7] Benedict H. Gross,et al. An elliptic curve test for Mersenne primes , 2005 .

[8] A Report on Prime Numbers of the Forms M = (6a + 1)22m-1- 1 and M' = (6a - 1)22m 1 , 1968 .

[9] D. H. Lehmer. An Extended Theory of Lucas' Functions , 1930 .