Bulletin of the Australian Mathematical Society Bull. Austral. Math. Soc. 0004-9727 ALNBAB 2005 72 2 10.wxyz/CV72P2 http://www.austms.org.au/Publ/Bulletin/V72P2/ John B. Friedlander Carl Pomerance Igor E. Shparlinski 14 February 2006 2006 2 14 251 263 722-5116-FrPoSh-2005 10.wxyz/C2005V72P2p251 http://www.austms.org.au/Publ/Bulletin/V72P2/722-5116-FrPoSh/ We show that an algorithm of V.~Miller to compute the group structure of an elliptic curve over a prime finite field runs in probabilistic polynomial time for almost all curves over the field. Important to our proof are estimates for some divisor sums. 11Y16 MR2183406 02246387 During the preparation of this paper, the first author was supported in part by NSERC grant A5123 and by a Killam Research Fellowship. The second author was supported in part by NSF grant DMS-0401422 and the third author was supported in part by ARC grant DP0211459. M. Agrawal, N. Kayal and N. Saxena Ann. of Math. (2) MR2123939 M. Agrawal, N. Kayal and N. Saxena; PRIMES is in $P$, \textit{Ann. of Math. (2)} \textbf{60} (2004), pp.~781--793. R. Avanzi, H. Cohen, C. Doche, G. Frey, T. Lange, K. Nguyen and F. Vercauteren CRC Press MR2162716 R. Avanzi, H. Cohen, C. Doche, G. Frey, T. Lange, K. Nguyen and F. Vercauteren; (to appear)\textit{Elliptic and hyperelliptic curve crytography: Theory and practice} (CRC Press to appear). B.J. Birch J. Lond. Math. Soc. MR230682 B.J. Birch; How the number of points of an elliptic curve over a fixed prime field varies, \textit{J. Lond. Math. Soc.} \textbf{43} (1968), pp.~57--60. I. Blake, G. Seroussi and N. Smart London Math. Soc. Lecture Note Series 265 Cambridge Univ. Press MR1771549 I. Blake, G. Seroussi and N. Smart; \textit{Elliptic curves in cryptography}, London Math. Soc. Lecture Note Series 265 (Cambridge Univ. Press, Cambridge, 1999). D. Coppersmith J. Cryptology MR1233462 D. Coppersmith; Modifications to the number field sieve, \textit{J. Cryptology} \textbf{6} (1993), pp.~169--180. R. Crandall and C. Pomerance Springer-Verlag MR1821158 R. Crandall and C. Pomerance; \textit{Prime numbers: A computational perspective} (Springer-Verlag, Berlin, 2001). H. Davenport 2nd edition Springer-Verlag MR606931 H. Davenport; \textit{Multiplicative number theory}, 2nd edition (Springer-Verlag, New York, 1980). M. Deuring Abh. Math. Sem. Hansischen Univ. MR5125 M. Deuring; Die Typen der Multiplikatorenringe elliptischer Funktionenk{\"o}rper, \textit{Abh. Math. Sem. Hansischen Univ.} \textbf{14} (1941), pp.~197--272. D.R. Kohel and I.E. Shparlinski Lect. Notes in Comp. Sci. 1838 Springer-Verlag MR1850620 D.R. Kohel and I.E. Shparlinski; \textit{Exponential sums and group generators for elliptic curves over finite fields}, Lect. Notes in Comp. Sci. 1838 (Springer-Verlag, Berlin, 2000), pp.~395--404. H.W. Lenstra, Jr. Annals of Math. MR916721 H.W. Lenstra, Jr.; Factoring integers with elliptic curves, \textit{Annals of Math.} \textbf{126} (1987), pp.~649--673. H.W. Lenstra, Jr., J. Pila and C. Pomerance Philos. Trans. Royal Soc. London, Ser. A. MR1253501 H.W. Lenstra, Jr., J. Pila and C. Pomerance; A hyperelliptic smoothness test, I, \textit{Philos. Trans. Royal Soc. London, Ser. A.} \textbf{345} (1993), pp.~397--408. H.W. Lenstra, Jr. and C. Pomerance J. Amer. Math. Soc. MR1137100 H.W. Lenstra, Jr. and C. Pomerance; A rigorous time bound for factoring integers, \textit{J. Amer. Math. Soc.} \textbf{5} (1992), pp.~483--516. H.W. Lenstra, Jr. and C. Pomerance (in preparation) H.W. Lenstra, Jr. and C. Pomerance; Primality testing with Gaussian periods, (in preparation). F. Luca, J. McKee and I.E. Shparlinski J. Th{é}or. Nombres Bordeaux F. Luca, J. McKee and I.E. Shparlinski; Small exponent point groups on elliptic curves, \textit{J. Th{\'e}or. Nombres Bordeaux} (to appear). F. Luca and I.E. Shparlinski Internat. Math. Res, Notices MR2152235 F. Luca and I.E. Shparlinski; On the exponent of the group of points on elliptic curves in extension fields, \textit{Internat. Math. Res, Notices} (to appear). V.S. Miller J. Cryptology MR2090556 V.S. Miller; The Weil pairing, and its efficient calculation, \textit{J. Cryptology} \textbf{17} (2004), pp.~235--261. C. Pomerance Computational Methods in Number Theory, Part I H.W. Lenstra, Jr. and R. Tijdeman Math. Centre Tracts 154 Math Centrum MR700260 C. Pomerance; Analysis and comparison of some integer factoring algorithms, in \textit{Computational Methods in Number Theory, Part I}, (H.W. Lenstra, Jr. and R. Tijdeman, Editors), Math. Centre Tracts 154 (Math Centrum, Amsterdam, 1982), pp.~89--139. K. Prachar Springer-Verlag MR87685 K. Prachar; \textit{Primzahlverteilung} (Springer-Verlag, Berlin, 1957). R. Schoof Math. Comp. MR777280 R. Schoof; Elliptic curves over finite fields and the computation of square roots $mod p$, \textit{Math. Comp.} \textbf{44} (1985), pp.~483--494. R. Schoof J. Combin. Theory, Ser.A MR914657 R. Schoof; Nonsingular plane cubic curves over finite fields, \textit{J. Combin. Theory, Ser.A} \textbf{47} (1987), pp.~183--211. R. Schoof Arithmetic Algebraic Geometry Progr. Math. 89 Birkhäuser MR1085266 R. Schoof; The exponents of the group of points on the reduction of an elliptic curve, in \textit{Arithmetic Algebraic Geometry}, Progr. Math. 89 (Birkh\"auser, Boston, MA, 1991), pp.~325--335. J.H. Silverman Springer-Verlag MR817210 J.H. Silverman; \textit{The arithmetic of elliptic curves} (Springer-Verlag, Berlin, 1995). W.C. Waterhouse Ann. Sci. Ecole Norm. Sup. MR265369 W.C. Waterhouse; Abelian varieties over finite fields, \textit{Ann. Sci. Ecole Norm. Sup.} \textbf{2} (1969), pp.~521--560.