■既約性判定基準(その66)
p(x) mod d(x)
を考える。
ここでは、x^15+1の次数4の原始因数として、モニック約多項式d(x)=x^4+x+1を用いることにする。
d(x)=x^n+Σdkx^kに対して
>p(x) mod d(x)=-Σdkx^kとなる。すなわち、最も高いべき乗はモニック約多項式の尾の部分の負号をかけたものに簡約される。
===================================
例:
x^4+x^6 mod(x^4+x+1)
=x4(x^2+1) mod(x^4+x+1)
=-(x+1)(x^2+1) mod(x^4+x+1)
===================================
もし、d(x)がモニックでないなら、d(x)/dnはモニックになるので、同様に計算可能である
===================================