>>239
はい、Zpは素イデアルpZ=(p)のことです。
Z→Z(p)/Z(p)p
が全射であることはどのように示せますか?