where \(\mathcal {H}_l(L)\)  is taken as in [1]}.
Let \(\Sigma _0\subseteq \Sigma \)  be a subset of primes which contains the primes at which \(E\)  has bad reduction and does not contain \(p\) . In section \(\ref {section3}\) , we shall specialize \(\Sigma _0\)  further. The \(\Sigma _0\) -imprimitive (or non-primitive) Selmer group \(\operatorname{Sel}^{\Sigma _0}(E/L)\)  is the kernel of the localization map
\(\lambda _{\Sigma }^{\Sigma _0}(L):H^1\left(G_{\Sigma }(L),E_{p^{\infty }}\right)\rightarrow \bigoplus _{l\in \Sigma \backslash \Sigma _0} \mathcal {H}_l(L).\) 
