Abel-Jacobi map of a genus-one curve ($P\mapsto [P-O]$)

Let $E$ be a genus one curve over an algebraically closed field and choose $O\in E$. The mapis an isomorphism. For a degree-zero divisor $D$, Riemann--Roch gives a nonzero section of $D+O$, so $D\sim P-O$ for some point $P$. If $P-O\sim P^{\prime }-O$ with $P\ne P^{\prime }$, a rational function with divisor $P-P^{\prime }$ would give a degree-one map to the projective line, contradicting that $E$ has genus one. The Abel--Jacobi map transports addition in the divisor class group to the elliptic-curve group law.

Over an algebraically closed field of characteristic different from two, a degree-two map from a smooth genus one curve to the projective line has a deck involution. After choosing an origin, all its fiber divisors on an algebraic curve are linearly equivalent and have the same group sum $s$, by the Abel-Jacobi map of a genus-one curve. The involution is consequently $p\mapsto s-p$, including its fixed ramification points. Composing two such involutions gives a translation on an elliptic curve.