Let $E$ be an elliptic curve defined over a number field without complex multiplication and with ordinary reduction at a prime $p\in\mathbb{N}$. When is the reduction mod $p$ map a surjection on the endomorphism ring I.e. $\overline{End(E)} \cong End(\overline{E})$?
