Selmer Group
Definition
A finite-index subgroup of Galois cohomology classes defined by imposing local conditions that control obstructions to the local-to-global description of rational points on an abelian variety; concretely, the n-Selmer group sits between the n-torsion of the Mordell–Weil group and the global cohomology, providing computable upper bounds on ranks.