Given an elliptic curve
without complex multiplication defined over a number field
, consider
the image of the Galois representation defined by letting Galois act on the torsion of
.
Serre’s open image theorem implies that there is a positive integer
for
which the Galois image is completely determined by its reduction modulo
. We prove a bound
on the smallest such
in terms of standard invariants associated with
. The
bound is sharp and improves upon previous results.