Published online by Cambridge University Press: 20 November 2018
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\left( {{E}_{{{p}^{n}}}} \right)$ is abelian over
$K\,\text{for}\,\text{all}\,n\,\ge \,0$ . This paper proves that the Pontrjagin dual of the
$\mathfrak{p}_{1}^{\infty }$ -Selmer group of
$E$ over
$F\left( {{E}_{{{p}^{\infty }}}} \right)$ is a finitely generated free
$\wedge $ -module, where
$\wedge $ is the Iwasawa algebra of
$\text{Gal}\left( F\left( {{E}_{{{p}^{\infty }}}} \right)/F\left( E\mathfrak{p}_{1}^{\infty }{{\mathfrak{p}}_{2}} \right) \right)$ . It also gives a simple formula for the rank of the Pontrjagin dual as a
$\wedge $ -module.