Invariant differential on an elliptic curve

On $y^2=x^3+ax+b$ in characteristic other than two, the differentialextends regularly and without zeros across the point at infinity. Translation by every point preserves it.

On a nonsingular equation $y^2=x^3+a_2{x}^2+a_{4}x+a_6$ in characteristic different from two, $\omega =dx/(2y)$ is regular and nowhere zero. For a chord of slope $h$ giving $P+Q=(X,Y)$, differentiating the line-intersection identity yields $dX/dx=Y/y$, so $dX/(2Y)=dx/(2y)$. Extension across the exceptional cases proves invariance under every translation on an elliptic curve. The addition map consequently satisfies ${\mu }^{\ast }\omega ={\mathrm{pr}}_1^{\ast }\omega +{\mathrm{pr}}_2^{\ast }\omega$, and $[n{]}^{\ast }\omega =n\omega$.