Definition (Elliptic curve). An elliptic curve $E∕K$ is a smooth projective curve of genus $1$, defined over $K$ with a specified $K$-rational point $0_E\in E(K)$.