Torsion-freeness of the formal group over Qp for odd p ($\hat{E}(p{\mathbb{Z}}_p)\text{ is torsion-free}$)

For odd $p$, a one-dimensional formal group law over ${\mathbb{Z}}_p$ has a formal logarithm ${\log }_F(T)=T+{\sum }_{j\ge 2}{c}_j{T}^j/j$ with $c_j\in {\mathbb{Z}}_p$. This follows by integrating its integral invariant differential. For $t\in p{\mathbb{Z}}_p\setminus \{0\}$, $v_p(c_j{t}^j/j)>v_p(t)$ for $j\ge 2$. Hence the series converges and $v_p({\log }_F(t))=v_p(t)$, so its kernel is zero. As it is a homomorphism into a characteristic-zero additive group, there is no nonzero torsion. In particular, at an odd prime of good reduction over $\mathbb{Q}$, reduction injects the whole rational torsion subgroup, including its $p$-primary part.