■既約性判定基準(その126)
【1】2^m元ガロア体の原始多項式
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
を用いることによって実現される。
1+x+x^5はGF(2)上で既約ではなく、(1+x^2+x^3)(1+x+x^2)と因数分解される
===================================
【2】既約多項式?、原始多項式?
GF(p^m)での乗算は次数mのGF(p)上で与えられた既約多項式π(x)を法とする多項式の乗算として定義される。
p=2,m=4の場合、そのような多項式が3つ存在する。
π(x)=1+x+x^4
π(x)=1+x^3+x^4
π(x)=1+x+x^2+x^3+x^4
===================================
π(x)=1+x+x^4のとき,相反多項式は
π'(x)=x^degπ(x)・π(x^-1)=x^4(1+1/x+1/x^4)=x4+x^3+1
===================================