■既約性判定基準(その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

===================================