■既約性判定基準(その154)
【1】0,1,2の世界
掛け算表を考えると
x 1 2
1 1 2
2 2 1
となります。1^2=1,2^2=1より
F3にはx^2=-1を満たす数はありません。
そこで、x^2+1=0を満たす数を考えて、それをα(ガロアの虚数)とし、9個の数からなる世界、
a+bα={0,1,2,α、1+α、2+α、2α、1+2α、2+2α}
を考えることができます。F9
===================================