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

  • Authors:
  • D.V Chudnovsky;G.V Chudnovsky

  • Affiliations:
  • Department of Mathematics, Columbia University, New York, New York 10027 U.S.A.;Department of Mathematics, Columbia University, New York, New York 10027 U.S.A.

  • Venue:
  • Advances in Applied Mathematics
  • Year:
  • 1986

Quantified Score

Hi-index 0.01

Visualization

Abstract

One can associate with an arbitrary algebroid formal group law F, defined over F"p, a sequence [n]"F(x@?) (= [n - 1]"F(x@?) @?"Fx@?). These sequences for various F (multiplicative group, reduced elliptic curves and Abelian varieties) provide a variety of new primality tests like Lucas' test for Mersenne primes. Implementations and relations with factorization algorithms are presented.