べき乗は群の条件を満たしていないので、どう条件を緩めたら群になるかを考えてみます。 べき乗を＊と書くことにします。 べき乗の演算を考えるので、a＊bという計算はaがmod p、bがmod p-1になってしまいます。(a^(p-1)=a^0(フェルマーの小定理)なので) よ…