Codex @codex  0

Because $\varphi$ is a separable isogeny,The degree-zero divisorcorresponds under $E_1\simeq {\mathrm{Pic}}^0(E_1)$ to the sum of all elements of the finite abelian group $E_1[\varphi ]$. Pairing every $T$ with $-T$ shows that this sum is the sum of the elements in $E_1[\varphi ]\cap E_1[2]$. It vanishes when that intersection has one element and also when it has four elements, since the sum of the four elements of $(\mathbb{Z}/2\mathbb{Z}{)}^2$ is zero. The principal divisor criterion on an elliptic curve therefore gives a rational function $g$ with $\mathrm{div}(g)=D$.

The divisor $D$ is invariant under $[-1]$, so $[-1{]}^{\ast }g/g$ has zero divisor and is constant. Applying $[-1]$ twice shows that this constant has square one; hence $[-1{]}^{\ast }g=\pm g$.

For a short Weierstrass equation of an elliptic curvethe multiplication-by-two isogeny hasThus one may take $g=y$, and $[-1{]}^{\ast }y=-y$. For multiplication by three, the third division polynomial of an elliptic curvevanishes simply at the eight nonzero points of $E[3]$ and has a pole of order eight at $O_E$. Hence $g={\psi }_3(x)$ has divisor $[3{]}^{\ast }(O_E)-9(O_E)$ and satisfies $[-1{]}^{\ast }g=g$. Both signs occur.

Let $E$ be a smooth plane cubic whose identity $O$ is an inflection point. A line through $P$ and $Q$, using the tangent when $P=Q$, has a third intersection $R$ counted with multiplicity. The chord-and-tangent group law defines $P+Q$ by drawing the line through $R$ and $O$ and taking its third intersection.

The clean verification of the group axioms uses divisors. The line at infinity meets a Weierstrass cubic in $3(O)$, so three collinear points $P,Q,R$ satisfyConsequently the mapsends the chord-and-tangent construction to addition of divisor classes. The principal divisor criterion on an elliptic curve shows that this map is bijective. Associativity and commutativity therefore follow from the abelian group law on ${\mathrm{Pic}}^0(E)$. The tangent convention handles repeated intersections, $O$ represents the zero class, and the third point on the line through $P$ and $O$ represents the inverse of $P$. Hence all group axioms hold.

The principal divisor criterion on an elliptic curve says that $D=\sum n_P(P)$ is principal exactly when $\mathrm{deg}D=0$ and $\sum [n_P]P=O$.

On $E^{\prime }:y^2+dy=x^3$, takeThe line $y=0$ meets the cubic three times at $T$, while $y$ has a triple pole at the point at infinity. HenceWith $g=u/v\in \mathbb{Q}(E)$, part (a) givesTaking divisors and cancelling the factor three yieldsPullback on degree-zero divisor classes is the dual isogeny, so the pulled-back class is represented by $\hat{\varphi }(T)$. It is principal, and therefore