Modulo-sixteen obstruction for the negative unit descent class
ID: modulo-sixteen-obstruction-for-the-negative-unit-descent-class
For with and , the square class in a two-isogeny descent would require coprime integers and an integer with . If is odd and even, the right side is modulo ; if is even and odd, it is ; if both are odd, it is . None is a square modulo . Therefore does not occur in the two-torsion square-class homomorphism image.
New to topics? Read the docs here!