The Arithmetic of Elliptic Curves
《The Arithmetic of Elliptic Curves》 · 第 209 页 · Chapter VIII，Section 1「The Weak Mordell-Weil Theorem」，Definition
The Kummer pairing $\kappa:E(K)\times G_{\overline K/K}\to E[m]$ is defined by choosing $Q\in E(\overline K)$ with $[m]Q=P$ and setting $\kappa(P,\sigma)=Q^\sigma-Q$.