Torsion alternative for opposite quartic-twist coefficients

ID: torsion-alternative-for-opposite-quartic-twist-coefficients

Suppose and both are nonsquares. Each elliptic curve has just one nonidentity rational 2-torsion point, . The duplication formula shows that halving it requires the corresponding coefficient to be a square, so neither has rational order-four points. If , both good reductions at three have order four, forcing torsion point of an elliptic curve to be exactly order two. Otherwise ; the reduction orders for coefficients modulo five are . Among opposite coefficients at least one has order two or four, giving the same conclusion for at least one curve by reduction of torsion points on an elliptic curve.

New to topics? Read the docs here!