For points on a smooth plane cubic, draw the line through them, using the tangent at when , and let its third intersection with the cubic be . The chord-and-tangent group law defines as the reflection of in the -axis; the point at infinity is the identity and .
If , their chord or tangent has rational coefficients. Substitution into the cubic gives a polynomial with rational coefficients for which two intersection roots are rational, so the third is rational as well. The identity and inverse of every rational point are rational, and closure under addition follows. Assuming the elliptic-curve law is a group law, is therefore a subgroup of .

Articles by others on the same topic (0)

There are currently no matching articles.