Some primality tests that eluded Lucas

In his extensive memoir on the sequences that now bear his name, Lucas provided some primality tests for numbers $$N$$N, where $$N\pm 1$$N±1 is divisible by a large prime power. No proofs were provided for these tests, and they are not correct as stated. Nevertheless, it is possible to correct these tests and make them more general. The purpose of this paper is to make these corrections and then show how the ideas behind these tests can be extended to numbers $$N$$N, where $$N^2+1$$N2+1 is divisible by a large prime power. In order to do this we develop further the properties of a certain pair of sequences which satisfy a linear recurrence relation of order 4.

[1]  H. C. Williams,et al.  Some Extensions of the Lucas Functions , 2013, Number Theory and Related Fields.

[2]  H. C. Williams,et al.  Determination of the primality of by using factors of ²±1 , 1976 .

[3]  Hugh C. Williams,et al.  Some Monoapparitic Fourth Order Linear Divisibility Sequences , 2012, Integers.

[4]  Andreas Guthmann,et al.  A generalization of proth's theorem , 1992 .

[5]  Igor E. Shparlinski,et al.  Number Theory and Related Fields, In Memory of Alf van der Poorten , 2013 .

[6]  Hugh C. Williams,et al.  Public-Key Cryptography Based on a Cubic Extension of the Lucas Functions , 2012, Fundam. Informaticae.

[7]  D. H. Lehmer,et al.  New primality criteria and factorizations of 2^{}±1 , 1975 .

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

[9]  É. Lucas Theorie des Fonctions Numeriques Simplement Periodiques , 1878 .

[10]  Pedro Berrizbeitia,et al.  Primality test for numbers M with a large power of 5 dividing M4-1 , 2003, Theor. Comput. Sci..

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

[12]  Johannes Buchmann,et al.  On principal ideal testing in totally complex quartic fields and the determination of certain cyclotomic constants , 1987 .

[13]  R. D. Carmichael,et al.  On the Numerical Factors of the Arithmetic Forms α n ± β n , 1913 .

[14]  Helmut Hasse,et al.  Number Theory , 2020, An Introduction to Probabilistic Number Theory.

[15]  Hugh C. Williams,et al.  SOME FOURTH-ORDER LINEAR DIVISIBILITY SEQUENCES , 2011 .