1) What are the examples of elliptic curves over $\mathbb{Q}$ with good reduction and $\mu$-invariant $\geq 2$ at $p = 3$ and how to find them $?$ 


2) Let $\Lambda = \mathbb{Z}\_{p}[[T]] $ and $ K=\mathbb{Q}\_{\infty} $ be the cyclotomic $ \mathbb{Z}\_{p} $-extension of $ \mathbb{Q} $. Then the Pontrjagin dual $ X\_{E}(\mathbb{Q}\_{\infty}) $ of $ Sel\_{E}(\mathbb{Q}\_{\infty})\_{p} $ is a finitely generated torsion $ \Lambda $-module and one has a pseudo-isomorphism


$$
X\_{E}(\mathbb{Q}\_{\infty}) \sim (\bigoplus\_{i=1}^{s}\Lambda/(f\_{i}(T)^{a\_{i}}))\bigoplus(\bigoplus\_{j=1}^{t}\Lambda/(p^{\mu\_j}))
$$ 


Are there any known methods for computing these decompositions for elliptic curves over $\mathbb{Q}$ $?$



$\mu$-invariant and Pontryagin dual of Selmer group of elliptic curves 1
1) 91b3 is an example with $\mu=2$ at $p=3$. Recall that the $\mu$-invariant (with respect to a prime $p$) only changes when there is an isogeny of degree $p$. More precisely it changes just be the quotient of the real Néron periods. Hence we are looking here for curves with cyclic isogenies of degree 9 defined over $\mathbb{Q}$ whose kernel is in $E(\mathbb{R})$. I guess one could parametrise them.


2) You have to assume that the reduction of $E$ is ordinary if you want the Selmer group to be torsion. Using the (know proven) main conjecture, one can get the characteristic series of $X\_E$ to any precision (using sage, magma, ... all based on Pollacks earlier work for his tables). In practice this allows one to determine the decomposition very often. First note that there is (conjecturally) a curve in the isogeny class for which the $\mu$-invariant is zero. Better work with this one as you then know that $\mu=0$ by computing sufficiently many coefficients. Now the only trouble could come from repeated factors. Of course very often the characteristic series is a square-free polynomial. Conjecturally again the entries $a\_i$ should all be zero, but it may be hard to prove that. Usually however, some information about the curve in the first few layers of the $\mathbb{Z}\_p$-extension will suffice.


