■既約性判定基準(その199)
7つの要素をもつ有限体F7={0,1,2,3,4,5,6}を考えてみよう。
7の倍数となる差を無視する。3=10=-4,-1=6
5+4=2
3-6=4
2・4=1
しかし、除算はどうなるのだろうか?
たとえば、1/2=?
2倍して1になる数は何か?
===================================
1/n=n^5
である。したがって、1/2=2^5=32=4
1/4=2,3/2=3・4=5であることがわかる。
===================================
同様に
1/3=3^5=5
1/5=3
1/6=6^5=6=-1・・・6はそれ自身の逆数である
===================================
元{0,1,2}からなるガロア体GF(3)では加算、減算、乗数、0を除く除算が定義され、
交換法則、分配法則、結合法則にしたがう。
1+2=0,1-2=2,2・2=1,1/2=2
===================================
f(x)=x^3-2x-a,a<Z7はaがどのような場合に既約になるか?
f(0)=-a・・・aは0ではない
f(1)=-1-a・・・aは6ではない
f(2)=4-a・・・aは4はない
f(3)=21-a=-a・・・aは0ではない
f(4)=56-a=-a・・・aは0ではない
f(5)=115-a=3-a・・・aは3ではない
f(6)=204-a=1-a・・・aは1ではない
a=2,5
===================================