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