Tate–Shafarevich group — Group in arithmetic geometry