Grupo de Tate–Shafarevich
Definición
Para una variedad abeliana A sobre un cuerpo global, el grupo de Tate–Shafarevich (denotado Sha) es el grupo de espacios homogéneos principales (torsores) para A que son localmente triviales en cada completado del cuerpo base pero pueden carecer de punto racional global; mide la obstrucción precisa al principio de Hasse para A.