Abstract Let E / F be an elliptic curve defined over a number field F. Suppose that E has complex multiplication over F, i.e. End F (E) ⊗ ℚ is an imaginary quadratic field. With the aid of CM theory, ...