On the average exponent of CM Elliptic Curves Modulo p

Abstract

Let $E$ be an elliptic curve defined over $\Q$ and with complex multiplication by $\mO_K$, the ring of integers in an imaginary quadratic field $K$. It is known that $E(\F_p)$ has a structure E(\F_p)\simeq \Z/d_p\Z \oplus \Z/e_p\Z. with $d_p|e_p$. We give an asymptotic formula for the average order of $e_p$, with improved error term, and upper bound estimate for the average of $d_p$.