Rank-one elliptic curve with roots zero two and ten

ID: rank-one-elliptic-curve-with-roots-zero-two-and-ten

This elliptic curve has torsion subgroup and the infinite-order point . Good-reduction point counts at three and eleven are four and sixteen, which bound the torsion order by four using reduction of torsion points on an elliptic curve. Doubling gives ; after the shift to , its nonintegral coordinate proves nontorsion by the Nagell–Lutz theorem. The two-isogeny formula gives the partner . The first two-torsion square-class homomorphism has image , while the second has image by the signed divisor-two obstruction for an isogeny covering. The two-isogeny rank formula therefore gives , so the rank is one. The argument does not determine the index of the subgroup generated by .

New to topics? Read the docs here!