準同型写像
Z/p^mZ→Z_p/p^mZ_p
a(mod p^mZ)→a (mod p^mZ_p)
で、この写像がp^mZ_p∩Z=p^mZより単射とあるのですが、核が0であることを示してるんですか？理由がわかりません。
(Z_pはp進整数環)