本当に申し訳ないんですがpと互いに素であればなぜ可逆元を持つのか分かりません…。
あとGは巡回群になるんですか?