Birch and Swinnerton-Dyer conjecture
The  values that satisfy the equation are called solutions of the elliptic curve. Sometimes these solutions are both rational, both irrational, or one rational and the other irrational. It turns out that the set of rational solutions is an abelian group. This means that given rational points  and , there is a way to produce the sum , and this is another rational point.