Definition
(Tate-Shafarevich group)
.
The
Tate-Shafarevich group
is
T
S
(
E
∕
K
)
=
ker
(
H
1
(
K
,
E
)
→
∏
v
H
1
(
K
v
,
E
)
)
.