Elliptische Kurve/Gruppenstruktur/Y^2 ist X^3-2X/Torsionspunkte/Beispiel

Auf der durch ${}y^{2}=x^{3}-2x$ gegebenen elliptischen Kurve gibt es über ${}\mathbb {Q}$ die beiden Torsionspunkte ${}(0,0),\,{\mathfrak {O}}$. Daneben gibt es noch den Punkt ${}(-1,1)$, dieser ist kein Torsionspunkt.