I have basic question: Suppose I have two abelian varieties $A,B$ over $\overline{\mathbb{F}_p}$. Let $M(A), M(B)$ denote the (covariant) Dieudonne modules (over $W$ the Witt vectors of $\overline{\mathbb{F}_p}$ ) of their respective p-divisible groups. Is it true that the natural map is an injection $ Hom(A,B) \otimes \mathbb{Z}_p \hookrightarrow Hom(M(A), M(B)) ,$ where the RHS is in the category of Dieudonne modules?
I also believe we have an injection $Hom(A, B) \otimes \widehat{\mathbb{Z}}^p \hookrightarrow Hom(T^p(A), T^p(B)),$ where $\widehat{\mathbb{Z}}^p = \prod_{l \neq p} \mathbb{Z}_l$, and $T^p(A) = \prod_{l \neq p} T_l(A)$, the product of all $l$-adic Tate modules away from $p$.
If these are both true, is there a good reference for these statemenst?
Thanks!