x^2+1は体C上では(x+i)(x-i)と因数分解できるが、体Qうえでは既約である。

おもしろいことに有限体GF(2)上では

x^2+1=x^2+2x+1=(x+1)^2のように因数分解できる。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【４】１６元ガロア体の生成

ここでは、既約多項式π(x)=1+x+x^4と原始元α=(0,1,0,0)=xを利用して位数16の有限体を生成したい。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

1+x+x^4を法とする剰余簡約では、1の要素αから始め、次にα=xをかけるので、1が右から消えるとき、一番左側の2つの位置に2を法として1を加えることに対応している

すなわち、

(0,0,0,0)=0

(1,0,0,0)=1

(0,1,0,0)=x

(0,0,1,0)=x^2

(0,0,0,1)=x^3

(1,1,0,0)=1+x

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

(0,0,1,1)=x^2+x^3

(1,1,0,1)=1+x+x^3

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

(0,1,0,1)=x+x^3

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

(0,1,1,1)=x+x^2+x^3

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

(1,0,1,1)=1+x^2+x^3

(1,0,0,1)=1+x^3

(1,0,0,0)=1

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【５】２^m元ガロア体の原始多項式

ｍ＝４の場合はπ(x)=1+x+x^4を用いたが、

ｍ＝２の場合、π(x)=1+x+x^2

ｍ＝３の場合、π(x)=1+x+x^3

ｍ＝４の場合、π(x)=1+x+x^4

ｍ＝５の場合、π(x)=1+x^2+x^5

ｍ＝６の場合、π(x)=1+x+x^6

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

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

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

ｍの場合の原始多項式は

φ(p^m-１）/ｍ個

存在する。

ｍ＝５の場合、φ(2^5-１）/5=6個nの異なる原始多項式が存在する。

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

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

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

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

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

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

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　φ（ｍ）は，ｍと互いに素であり，ｍより小さい整数ｒ，１≦ｒ＜ｍの個数として定義される．すなわち，φ（ｍ）は１からｍ−１までの整数のうち，ｍと公約数をもたない数はいくつあるかを数えた数を表す．

　ｍ＝９→１，２，４，５，７，８→φ（９）＝６

　ｍ＝１０→１，３，７，９→φ（１０）＝４

　φ（１）＝１，φ（２）＝１，φ（３）＝２，φ（４）＝２

　φ（５）＝４，φ（６）＝２，φ（７）＝６，φ（８）＝４

　φ（９）＝６，φ（１０）＝４，

　φ（ｐ）＝ｐ−１

　φ（ｐ^a）＝（ｐ−１）ｐ^(a-1)＝ｐ^a（１−１／ｐ）

　φ（ｍ）＝ｍΠ（１−１／ｐi）

　φ（１０）＝１０（１−１／２）（１−１／５）＝４

ｍ＝２のとき、φ(3)/2=1

ｍ＝３のとき、φ(7)/3=2

ｍ＝４のとき、φ(15)/4

　φ（１５）＝φ（３）φ（５）＝８より

ｍ＝４のとき、φ(15)/4＝2・・・（1+x+x^4と1+x^3+x^4)

1+x+x^2+x^3+x~4は既約多項式であるが、原始元をもたないので原始多項式ではない

原始多項式でない既約多項式はn(1+x+x^2+x^3+x~4)(1+x)=1+x^5

ｍ＝５のとき、φ(31)/5＝30/5＝6

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝