Definition of Elliptic Curves

I think it is about time we defined what an elliptic curve is. It is a nonsingular cubic curve with a distinguished point, usually denoted by . We say that the elliptic curve is defined over a field if the curve is defined over and .

It turns out that for every field , the set can be endowed with a structure of an abelian group as follows.