>>802
795の写像φとして
Kerφ=p^mZ_p∩Zで、右辺はp^mZと等しくなることは、両方の包含を言うっていう感じですか?それで準同型定理が使える...という