The Tate-Shafarevich group is a fundamental object in the arithmetic study of elliptic curves, capturing the obstruction to the Hasse principle for rational points. It is conjecturally finite and plays a crucial role in the Birch and Swinnerton-Dyer conjecture, linking the rank of an elliptic curve to its L-function at s=1.