Abstract
In his extensive memoir on the sequences that now bear his name, Lucas provided some primality tests for numbers \(N\), where \(N\pm 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\), where \(N^2+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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Berrizbeitia P., Berry T.G., Ayuso J.T.: A generalization of Proth’s theorem. Acta Arith. 110, 107–115 (2003).
Berrizbeitia P., Ondremán M., Ayuso J.T.: Primality test for numbers \(m\) with a large power of 5 dividing \(m^4-1\). Theor. Comput. Sci. 297, 25–36 (2003).
Brillhart J., Lehmer D.H., Selfridge J.L.: New primality criteria and factorizations of \(2^m \pm 1\). Math. Comput. 29, 620–647 (1975).
Buchmann J., Williams H.C.: On principal ideal testing in totally complex quartic fields and the determination of certain cyclotomic constants. Math. Comput. 48, 55–66 (1987).
Carmichael R.D.: On the numerical factors of the arithmetic forms \(\alpha ^n \pm \beta ^n\). Ann. Math. 15, 30–70 (1913).
Lehmer D.H.: An extended theory of Lucas’ functions. Ann. Math. 31, 419–448 (1930).
Lucas E.: Théorie des fonctions numériques simplement périodiques. Am. J. Math. 1(189–240), 289–321 (1878).
Lucas E.: Questions proposées à la discussion des 1re et 2e sections \(1^{\circ }\) questions d’arithmétique supérieure. Assoc. Française pour l’Avancement des Sciences, Compte rendu des sessions 20, 149–151 (1891).
Müller S., Williams H.C., Roettger E.: A cubic extension of the Lucas functions. Ann. Sci. Math. Québec 33(2), 185–224 (2009).
Roettger E.: A cubic extension of the Lucas functions Ph.D. Thesis, University of Calgary (2009), available online at http://people.ucalgary.ca/~williams/.
Roettger E.L., Williams H.C., Guy R.K.: Some Extensions of the Lucas Functions. Number Theory and Related Fields. Springer, New York (2013).
Williams H.C.: Édouard Lucas and Primality Testing. Wiley, New York (1998).
Williams H.C., Guy R.K.: Some fourth order linear divisibility sequences. Int. J. Number Theory 7(5), 1255–1277 (2011).
Williams H.C., Guy R.K.: Some monoapparitic fourth order linear divisibility sequences. Integers 12(6), 1463–1485 (2012).
Williams H.C., Judd J.S.: Determination of the primality of \({N}\) by using factors of \({N}^2+1\). Math. Comput. 30, 157–172 (1976).
Author information
Authors and Affiliations
Corresponding author
Additional information
This is one of several papers published in Designs, Codes and Cryptography comprising the “Special Issue on Cryptography, Codes, Designs and Finite Fields: In Memory of Scott A. Vanstone”.
The second author is supported by NSERC of Canada.
Rights and permissions
About this article
Cite this article
Roettger, E.L., Williams, H.C. & Guy, R.K. Some primality tests that eluded Lucas. Des. Codes Cryptogr. 77, 515–539 (2015). https://doi.org/10.1007/s10623-015-0088-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10623-015-0088-0