演算＠を a@b=a+ab+b と定義するとき、 {0,1,……,p-2}(mod p)(pは素数)は＠に関して巡回群になっていることに気付きました。 ここから先mod pは省略します 逆元と単位元が存在し、結合法則が成り立ち、与えられた演算に関して閉じていれば群と呼ぶのでした。 …