Computing the Iwasawa $\mu$-Invariants for Elliptic Curves over $\mathbb{Z}_2$-Extensions
Let $E$ be an elliptic curve defined over rational numbers. Further assume $E$ has good ordinary reduction at $p=2$ and $E[4]$ is reducible as a $G_\mathbb{Q}$-representation. In this paper, we offer sufficient and necessary computational criteria for the algebraic Iwasawa $\mu$-invariant over the cyclotomic $\mathbb{Z...