Homomorphism associated to a line bundle on an abelian variety
= Homomorphism associated to a line bundle on an abelian variety
{title2=$\phi_L$}
For a line bundle $L$ on an abelian variety $X$,
$$
\phi_L:X(k)\to\operatorname{Pic}X,
\qquad x\mapsto T_x^*L\otimes L^{-1},
$$
is a homomorphism by the <Theorem of the square>.