Curve name |
$X_{54}$ |
Index |
$12$ |
Level |
$8$ |
Genus |
$1$ |
Does the subgroup contain $-I$? |
Yes |
Generating matrices |
$
\left[ \begin{matrix} 1 & 2 \\ 4 & 1 \end{matrix}\right],
\left[ \begin{matrix} 1 & 0 \\ 0 & 5 \end{matrix}\right],
\left[ \begin{matrix} 1 & 3 \\ 4 & 3 \end{matrix}\right],
\left[ \begin{matrix} 1 & 3 \\ 6 & 7 \end{matrix}\right]$ |
Images in lower levels |
|
Meaning/Special name |
|
Chosen covering |
$X_{11}$ |
Curves that $X_{54}$ minimally covers |
$X_{11}$ |
Curves that minimally cover $X_{54}$ |
$X_{125}$, $X_{127}$, $X_{130}$, $X_{131}$, $X_{132}$, $X_{135}$, $X_{139}$, $X_{143}$, $X_{146}$, $X_{147}$ |
Curves that minimally cover $X_{54}$ and have infinitely many rational
points. |
|
Model |
\[y^2 = x^3 - x\] |
Info about rational points |
Rational point | Image on the $j$-line |
$(0 : 1 : 0)$ |
\[ \infty \]
|
$(-1 : 0 : 1)$ |
\[1728 \,\,(\text{CM by }-4)\]
|
$(0 : 0 : 1)$ |
\[ \infty \]
|
$(1 : 0 : 1)$ |
\[1728 \,\,(\text{CM by }-4)\]
|
|
Comments on finding rational points |
None |
Elliptic curve whose $2$-adic image is the subgroup |
None |
Generic density of odd order reductions |
N/A |