局所化と剰余体の話で、p素数として
Z(p) = {a/b∈Q | bはpで割り切れない}
Ｚ/Zp≡Z(p)/Z(p)p （≡は同型）
の証明を知りたい。