Selmer Groups of Elliptic Curves with Complex Multiplication

http://dx.doi.org/10.4153/CJM-2004-009-7
Canad. J. Math. 56(2004), 194-208

  Published:2004-02-01
 Printed: Feb 2004

Suppose $K$ is an imaginary quadratic field and $E$ is an elliptic curve over a number field $F$ with complex multiplication by the ring of integers in $K$. Let $p$ be a rational prime that splits as $\mathfrak{p}_{1}\mathfrak{p}_{2}$ in $K$. Let $E_{p^{n}}$ denote the $p^{n}$-division points on $E$. Assume that $F(E_{p^{n}})$ is abelian over $K$ for all $n\geq 0$. This paper proves that the Pontrjagin dual of the $\mathfrak{p}_{1}^{\infty}$-Selmer group of $E$ over $F(E_{p^{\infty}})$ is a finitely generated free $\Lambda$-module, where $\Lambda$ is the Iwasawa algebra of $\Gal\bigl(F(E_{p^{\infty}})/ F(E_{\mathfrak{p}_{1}^{\infty}\mathfrak{p}_{2}})\bigr)$. It also gives a simple formula for the rank of the Pontrjagin dual as a $\Lambda$-module.