Elliptic curves

An elliptic curve $E$ over a field $k$ is a smooth projective curve of genus $1$ together with a distinguished $k$-rational point $O$.

The most commonly used model for elliptic curves is a Weierstrass model: a smooth plane cubic with the point $O$ as the unique point at infinity.