Birch and Swinnerton-Dyer conjecture

An elliptic curve is a function of the form ${\displaystyle y^{2}=x^{3}+ax+b}$ , where ${\displaystyle a}$ and ${\displaystyle b}$ are rational numbers.

The ${\displaystyle x,y}$ values that satisfy the equation are called solutions of the elliptic curve. These solutions may be both rational, both irrational, or one rational and the other irrational. The set of rational solutions is an abelian group. This means that given rational points ${\displaystyle P}$  and ${\displaystyle Q}$ , there is a way to produce the sum ${\displaystyle P+Q}$ , and this is another rational point.

In 1922, Louis Mordell proved that the set of rational solutions is a finitely generated abelian group. This means that any rational point ${\displaystyle P}$ can be written as a finite combination of certain generating points. For example, the points ${\displaystyle P_{1}=(-2,3)}$ and ${\displaystyle P_{2}=(-1,4)}$  are generators of the rational points of ${\displaystyle y^{2}=x^{3}+17}$ .  This means that all rational points on it, even very complicated points, can be written in terms of these two points. For example, we have:

${\displaystyle {\frac {170914680007433755273838144758012}{111693884047097647373766735954481}},-{\frac {5355483650472998648137959899973372475907238039375}{1180440469197546185983425190055773135812433974871}}=-5P_{1}+5P_{2}}$