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.
Articles by others on the same topic
There are currently no matching articles.