Rank-one elliptic curve with coefficients eight and minus seven

ID: rank-one-elliptic-curve-with-coefficients-eight-and-minus-seven

The two-isogeny formula gives the partner . The two-torsion square-class homomorphism image for is : prime support leaves only , the modulo-sixteen obstruction for the negative unit descent class excludes , and the subgroup property excludes . For , forces nonnegative , so the image is contained in . The two-torsion point realizes and the rational point realizes , giving all four classes. The two-isogeny rank formula yields , hence rank one. The dual isogeny sends to ; this statement does not assert that the resulting point is a generator of the full free part.

New to topics? Read the docs here!