For an elliptic curve E defined over a number field K, the heuristic density of the set of primes of K for which E has cyclic reduction is given by an inclusion–exclusion sum δE/K involving the degrees of the m-division ...