The set of all endomorphisms of $E$ forms a ring called the endomorphism ring of $E$, denoted $\End(E)$. The subring consisting of those endomorphisms defined over $K$ itself is denoted $\End_K(E)$.
$\End(E)$ always contains a subring isomorphic to $\Z$, since for $m\in\Z$ there is the multiplication-by-$m$ map $[m]:E\to E$.
- Review status: reviewed
- Last edited by John Jones on 2018-06-18 02:40:26
- 2018-06-18 02:40:26 by John Jones (Reviewed)