Use in the family from part (b). For order four, take , giving
Its discriminant is , and is a nonzero point equal to its own inverse. Thus and .
For order five, take :
The discriminant is , and gives exact order five by part (b).
For order six, take :
Its discriminant is . Here and ; negation is , so is nonzero 2-torsion. Neither nor is , excluding orders two and three, while . All coefficients and points are rational, and the nonzero discriminants certify genuine elliptic curves.

Articles by others on the same topic (0)

There are currently no matching articles.