Two-torsion square-class homomorphism (${\alpha }_T(P)=[x(P)-x(T)]$)

Let $E:y^2=f(x)$ with $f$ monic and separable, and let $T=(\theta ,0)$. Over $K$ containing $\theta$, the map ${\alpha }_T(P)=[x(P)-\theta ]$ for $P\ne O,T$, completed by ${\alpha }_T(O)=1$ and ${\alpha }_T(T)=[f^{\prime }(\theta )]$, is a group homomorphism to the square-class group of a field. A nonvertical chord has the product of its three $x-\theta$ values a square; a chord through $T$ instead has the product of the other two values equal to $f^{\prime }(\theta )$. These identities include tangencies.