Kummer exact sequence of an elliptic curve

The exact sequence of Galois modulesinduces the Kummer map of an elliptic curve from $E(K)/nE(K)$ into $H^1(K,E[n])$.

The $n$-Selmer group consists of the classes in $H^1(K,E[n])$ whose restriction at every place lies in the image of the local Kummer map of an elliptic curve. It is finite and contains $E(K)/nE(K)$.

The Tate–Shafarevich group consists of the principal homogeneous spaces for $E$ over $K$ that have a point over every completion of $K$. Its $n$-torsion is the quotient of the $n$-Selmer group by $E(K)/nE(K)$.