Con el conjunto de puntos G que forman la curva (i.e., todas las soluciones de la ecuación mas un punto O, llamado punto en el infinito) más una operación aditiva "+", se forma un grupo abeliano.