| Curve name |
$X_{25l}$ |
| Index |
$24$ |
| Level |
$8$ |
| Genus |
$0$ |
| Does the subgroup contain $-I$? |
No |
| Generating matrices |
$
\left[ \begin{matrix} 1 & 0 \\ 0 & 5 \end{matrix}\right],
\left[ \begin{matrix} 1 & 2 \\ 0 & 1 \end{matrix}\right],
\left[ \begin{matrix} 1 & 0 \\ 0 & 3 \end{matrix}\right],
\left[ \begin{matrix} 3 & 0 \\ 4 & 1 \end{matrix}\right],
\left[ \begin{matrix} 5 & 0 \\ 0 & 1 \end{matrix}\right]$ |
| Images in lower levels |
|
| Meaning/Special name |
|
| Chosen covering |
$X_{25}$ |
| Curves that $X_{25l}$ minimally covers |
|
| Curves that minimally cover $X_{25l}$ |
|
| Curves that minimally cover $X_{25l}$ and have infinitely many rational
points. |
|
| Model |
$\mathbb{P}^{1}$, a universal elliptic curve over an appropriate base is
given by
\[y^2 = x^3 + A(t)x + B(t), \text{ where}\]
\[A(t) = -27t^{6} + 27t^{4} - 27t^{2}\]
\[B(t) = 54t^{9} - 81t^{7} - 81t^{5} + 54t^{3}\]
|
| Info about rational points |
| Comments on finding rational points |
None |
| Elliptic curve whose $2$-adic image is the subgroup |
$y^2 + xy = x^3 - x^2 - 3861x - 91368$, with conductor $1287$ |
| Generic density of odd order reductions |
$19/168$ |