■既約性判定基準(その188)

体Z2上の多項式f(x)=x^4+x+1は既約であるか?

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

f(0)=1,f(1)=3=1

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

Z2に根を持たない。f(x)=(x-a)g(x),degg(x)=3と表すことができない

degg(x)の次数は2である

f(x)=(x^2+ax+b)(x-2-ax+c)とする, a,b,c<Z2

a^2-b-c=1

a(b-c)=1

bc=1

b=c=1→a(b-c)=1は0=1となり矛盾→Z2上既約

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

(その53)既約多項式はπ(x)=1+x+x^4のほかに

π(x)=1+x^3+x^4

π(x)=1+x+x^2+x^3+x^4

が存在する・・・とつながるのだろうか?

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

f(x)=1+x^3+x^4の場合

f(0)=1,f(1)=31

f(x)=(x^2+ax+b)(x^2+cx+d)=とする, a,b,c,d<Z2

x^4+(a+c)x^3+(b+d+ac)x^2+(ad+bc)x+bd

(a+c)=1

(b+d+ac)=0

(ad+bc)=0

bd=1→b=1,d=1

→(b+d+ac)=0よりac=0→a=0,c=1またはa=1,c=0

→(ad+bc)=0に矛盾する →Z2上既約

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

f(x)=1+x+x^2+x^3+x^4の場合

f(0)=1,f(1)=5=1

f(x)=(x^2+ax+b)(x^2+cx+d)=とする, a,b,c,d<Z2

x^4+(a+c)x^3+(b+d+ac)x^2+(ad+bc)x+bd

(a+c)=1

(b+d+ac)=1

(ad+bc)=1

bd=1→b=1,d=1

→(b+d+ac)=1よりac=1→a=1,c=1

→(ad+bc)=1に矛盾する →Z2上既約

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

(その55)1+x+x^5はGF(2)上で既約ではなく、(1+x^2+x^3)(1+x+x^2)と因数分解される

f(x)=1+x+x^5の場合

f(0)=1,f(1)=3=1

f(x)=(x^2+ax+b)(x^3+cx^2+dx+e)=とする, a,b,c,d,e<Z2

x^5+(a+c)x^4+(d+ac+b)x^3+ (e+ad+bc)x^2+(ae+bd)x+be

(a+c)=0

(d+ac+b)=0

(e+ad+bc)=0

(ae+bd)=1

be=1→b=1,e=1

→(ae+bd)=1→a+d=1→a=1,d=0またはa=0,d=1→ad=0

→(e+ad+bc)=0→(1+0+c)=0→c=1

(d+ac+b)=0→d+a+1=0

(a+c)=0→a+1=0→a=1,d=0 矛盾しない →Z2上既約ではない

(x^2+x+1)(x^3+x^2+1)と因数分解される

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

(その58)x^2+1は有限体GF(2)上ではx^2+1=x^2+2x+1=(x+1)^2のように因数分解できる。

f(x)=1+x^2の場合

f(0)=1,f(1)=2=0

f(x)=(x+a)(x+b)とする, a,b<Z2

a+b=0

ab=1→a=1,b=1

f(x)=x^2+1=(x+1)^2

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

(その91)F2上では

x・x=x^2

x(x+1)=x^2+x

(x+1)(x+1)=x^2+2x+1=x^2+1

に現れないx^2+x+1を既約多項式とします。

f(x)=1+x+x^2の場合

f(0)=1,f(1)=3=1・・・既約

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

m=4の場合はπ(x)=1+x+x^4を用いたが、→完

m=2の場合、π(x)=1+x+x^2→完

m=3の場合、π(x)=1+x+x^3

m=4の場合、π(x)=1+x+x^4→完

m=5の場合、π(x)=1+x^2+x^5

m=6の場合、π(x)=1+x+x^6

を用いることによって実現される。

f(x)=1+x+x^3の場合

f(0)=1,f(1)=3=1

f(x)=(x+a)(x^2+bx+c)とすることができない・・・既約

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