The Arithmetic of Elliptic Curves
《The Arithmetic of Elliptic Curves》 · 第 75–76 页 · Chapter III，Section 5「The Invariant Differential」，Proposition 5.1
III.5 The Invariant Differential. Let $E/K$ be an elliptic curve given by the usual Weierstrass equation and let $\omega=dx/(2y+a_1x+a_3)$. […] Let $\tau_Q:E\to E$ be the translation-by-$Q$ map. Then $\tau_Q^*\omega=\omega$.