Abstract

We develop a general framework for producing deterministic primality tests based on commutative group schemes over rings of integers. Our focus is on the cases of algebraic tori and elliptic curves. The proposed general machinery provides several series of tests which include, as special cases, tests discovered by Gross and by Denomme and Savin for Mersenne and Fermat primes, primes of the form 2 2 l + 1 − 2 l + 1 , as well as some new ones.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call