Mazur–Tate's refined class-group formula conjecture
Let E/QE/\mathbb{Q}E/Q be an elliptic curve, let GM=(Z/MZ)∗/⟨−1⟩G_M=\left(\mathbb{Z}/M\mathbb{Z}\right)^*/\langle-1\rangleGM=(Z/MZ)∗/⟨−1⟩, and let θM=∑a∈GMλ(a,M)[a]\theta_M=\sum_{a\in G_M}\lambda(a,M)[a]θM=∑a∈GMλ(a,M)[a] be the Mazur–Tate eleme…