自明じゃないけど、このレベルの問題なら、
<Zp,*>が乗法群になることくらいは既知扱いでもいいと思われ。