Sequences of numbers generated by addition in formal groups and new primality and factorization tests (Q1820186)

The authors give a comprehensive study of the relation of algebroid formal group laws to primality and factorization. The Fermat test and the Lucas test were perceived as special cases once the Lenstra test was studied. The addition law of elliptic curves in Weierstrass form is subject to a very detailed analysis, as well as other implementations, e.g., in Jacobi form. New results are also given for factoring \(n=\text{Norm}(\alpha)\) in K/\({\mathbb{Q}}\) based on the (partial) factorization of \(\text{Norm}(\alpha \pm 1)\). Elliptic divisibility sequences of Ward are also used for factorization and to make lists of probable primes. In conclusion, the authors make the programmatic remark: ''A large field for future studies is opened by the possibility of considering other algebraic laws of addition related to the Frobenius operator (say, cubic surfaces or other intermediate Jacobians)''. There is a rather large bibliography of classical and contemporary sources, and it is very difficult to select a subset to cite because of the breadth of the article.