  We determine, for an elliptic curve $E/\mathbb Q$ and for all $p$, all the
possible torsion groups $E(\mathbb Q_{\infty, p})_{tors}$, where $\mathbb
Q_{\infty, p}$ is the $\mathbb Z_p$-extension of $\mathbb Q$.
