Let $A$ be a (possibly non-finitely generated) torsion-free abelian group. Suppose that $A$ contains no infinitely $p$-divisible elements, then does the same hold for $A\otimes \mathbb Z_p$, where $\mathbb Z_p$ denotes the $p$-adic integers?
Edit: This question has been put on hold for not providing enough context, so let me give some. I encountered the problem in algebraic geometry, namely: If $A,B$ be abelian varieties, then it is well-known that the map $\mathrm{Hom} (A,B)\otimes \mathbb Z_p\rightarrow\mathrm{Hom}(T_pA,T_pB)$ is injective for all $p\neq \mathrm{char}k$, where $k$ is the ground field. I noticed that the proof of this fact would be much easier if the answer to the question were positive, which intuitively seemed plausible to me. (Of course $\mathrm{Hom} (A,B)$ is in fact finitely generated, but this is a corollary and can't be assumed in the proof). I will admit though that I don't have much confidence in my intuition in infinitely-generated situations.
Here are a few thoughts I had about some intrinsic (commutative-algebra) motivation to the question: For any abelian group, we can consider the $p$-adic topology on it, just as for any $R$-module $M$ we can consider the $I$-adic topology, where $R$ is a commutative ring, and $I$ an ideal. For finitely generated modules over noetherian rings, there is a nice theory of completions. The completion $\hat M$ is itself complete and coincides with the base change to the completed ring: $\hat M\cong \hat R\otimes M$.
For non-finitely-generated modules, we can still consider the $I$-adic topology, but it doesn't seem to be very well-behaved: the $p$-adic topology in this sense on $\mathbb Q$ as a $\mathbb Z$-module is trivial. But there is another way of putting a topology on these modules: consider them as a direct limit over their finitely generated submodules, endow these with the $I$-adic topology, and look at the limit topology on $M$. In this way, $\mathbb Q$ attains the "right" $p$-adic topology.
Since the completion of a noetherian ring is flat over the ring itself, we can also make $M\otimes \hat R$ into a topological $\hat R$-module in the same way, by writing it as the direct limit of finitely generated submodules of $M$, each tensored with $\hat R$. In the example of before we get, unsurprisingly, $\mathbb Q_p$.
So now a natural question is how these objects all fit together: We have $M$ with the naive $I$-adic topology, $M$ with the limit topology, and $M\otimes \hat R$. Is $M\otimes \hat R$ the completion of $M$ with the limit topology, and is said completion itself complete? Here the completion may be defined as a projective limit over $M/U$, where $U$ ranges through open subgroups containing 0.
In the question, $R=\mathbb{Z}$, $I=(p)$ and $M$ contains no infinitely $p$-divisible elements, which I think should make the naive and the limit topology on $M$ coincide and the whole situation can probably be regarded as the easiest case. If the completion is to be equal to $M\otimes \mathbb Z_p$, then there had better not be any infinitely $p$-divisible elements in there. I think this would be equivalent to the statement that $M\otimes \mathbb Z_p$ with the naive $p$-adic topology is Hausdorff.
So this is more than I thought I'd write and given the speculative nature of the thing, I'm bound to have made some embarassing mistake along the way.. In any case, I'd also appreciate references about completions and the like for infinitely-generated modules. And given the above discussion, I'm also putting the commutative-algebra tag back in.