For , the two-isogenous curve is . The first-coordinate square-class image on is . The prime-support bound permits only ; square class two would require a primitive integer solution to , whose right side is two modulo three whenever are not both divisible by three. Thus that class is excluded, as is minus one by the subgroup property. The identity and the point supply the remaining two classes.
The image on is : the quadratic factor is positive, so only positive square classes dividing nine occur, and supplies class three. The square-class index formula for two-isogeny descent consequently gives , so the rank of an elliptic curve is zero. Alternatively, the dual-isogeny kernel lies in the image of the forward isogeny because nine is a square, giving . The four rational two-torsion points already account for that index, again forcing rank zero.
Articles by others on the same topic
There are currently no matching articles.