ｐが素数であるとき、ｐ^m個の元をもつ有限体は重要であるが、たとえば、ｍ＝2、4個の要素をもっている有限体を

　　F4={0,1,2,3}

で解釈しようとすると

2・2=4=0

したがって、2ｘ＝0は2つの解ｘ＝0，ｘ＝2をもつし

2x=1は解をもたない。言い換えれば２の逆数は存在せず、これでは体を構成できない。

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

それではどのようにして4つの要素をもつ体を構成するのか？

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

【１】４元ガロア体

スカラー関数ではなく、ベクトル関数を選ぶのである。

{(0,0),(1,0),(0,1),(1,1)}

加算は繰り上げを除けば要素ごとに行う。

（1，0）＋（0，1）＝（1、1）

（1，1）＋（1，0）＝（0、1）

乗算は（0，0）を0要素、（1，0）を1要素と定めると

残り2つの要素は逆要素でなければならないので

（0，1）・（1，1）＝（1、0）

（0，1）・（0，1）＝（1、1）

などと決めることができる

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