Let $E$ be an elliptic curve over a number field $K$, let $\ell$ be prime, and let \[ \rho_{E,\ell}\colon \Gal(\overline{K}/K)\to \Aut(E[\ell^\infty]) \simeq \GL_2(\Z_\ell) \] be the $\ell$-adic Galois representation associated to $E$.

If $E$ does not have potential complex multiplication, then $\rho_{E,\ell}$ is **maximal** if its image contains $\SL_2(\Z_\ell)$.

In general, let $\mathcal{O}$ be the geometric endomorphism ring of $E$. Then $E[\ell^\infty]$ is an $\mathcal{O}$-module, and we view $\Aut_\mathcal{O}(E[\ell^\infty])$ as a subgroup of $\Aut(E[\ell^\infty]) \simeq \GL_2(\Z_\ell)$ that contains the image of $\rho_{E,\ell}$ whenever $K$ contains $\mathcal O$. We say that $\rho_{E,\ell}$ is **maximal** if its image contains $\SL_2(\Z_\ell) \cap \Aut_{\mathcal{O}}(E[\ell^\infty])$, in which case we call $\ell$ a **maximal prime** for $E$.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by Andrew Sutherland on 2021-09-19 09:38:38

**Referred to by:**

**History:**(expand/hide all)

- 2021-09-19 09:38:38 by Andrew Sutherland (Reviewed)
- 2021-09-18 15:17:44 by Andrew Sutherland (Reviewed)
- 2021-09-18 11:39:07 by Andrew Sutherland
- 2021-09-18 11:27:59 by Andrew Sutherland
- 2021-09-18 11:27:34 by Andrew Sutherland
- 2021-09-18 11:17:24 by Andrew Sutherland (Reviewed)
- 2021-09-16 11:39:20 by John Voight (Reviewed)
- 2021-09-16 11:39:02 by John Voight
- 2021-09-16 11:34:55 by Andrew Sutherland
- 2021-09-05 18:30:46 by Andrew Sutherland

**Differences**(show/hide)