Tate–Shafarevich group
= Tate–Shafarevich group
{c}
{title2=$\operatorname{Sha}(E/K)$}
{wiki=Tate–Shafarevich_group}
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)$.