Groupe de Tate–Shafarevich
Définition
Pour une variété abélienne A sur un corps global, le groupe de Tate–Shafarevich (noté Sha) est le groupe des espaces homogènes principaux (torseurs) pour A qui sont localement triviaux en chaque complétion du corps de base mais peuvent échouer à posséder un point rationnel global ; il mesure l'obstruction précise au principe de Hasse pour A.