（その１２），（その１３）を補足．

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

　　ｘ^2＋３ｘ＋２＝（ｘ＋１）（ｘ＋２）

は整数係数のおなじみの因数分解の問題であるが，足して３，掛けて２となる２数を見つければよい．１と２がこれを満たすわけであるから，答えは右辺のようになる．

　それでは，以下の例はどうであろうか？

　　ｘ^2＋４＝（ｘ＋１）（ｘ＋４）

　　ｘ^2＋２ｘ＋２＝（ｘ＋３）（ｘ＋４）

一見分解できなさそうに見える左辺が，右辺のように１次式の積として表されているのだから明らかな誤りと映るに違いない．ところがこれが正しいのである．

　そんな馬鹿なと思われるかもしれないが，実はこの因数分解のトリックは「有限体」にある．整数や有理数，実数や複素数の元は無限個あり，演算規則が定義されている．整数は環をなし，有理数，実数，複素数，４元数，ｐ進数は体をなす．このことから，体の定義を思い出してほしいのだが，０以外の元が常に乗法に関する逆元をもつ数体系を「体」という．

　そして，有限個の元と体の構造をもつ数体系が「有限体」である．有限体は，計算機や通信などでいまや花形の数学の理論となっている．そんなわけで，今回のコラムでは有限体を係数にもつ多項式の因数分解を扱うことにした．

　なお，代数学の教えるところによれば，ｎ元の体（加減乗除の演算が定義された集合）が存在するための必要十分条件は，ｎが素数（のベキ乗）になっていることで，位数２，３，４＝２^2，５の体は存在するが，位数６＝２×３の体は存在しない．そして，位数７，８＝２^3，９＝３^2の体は存在して，位数１０＝２×５のものは存在しない．

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

【１】有限環と有限体

　整数には奇数と偶数がありますが，

　　ＯＤＤ＝１，ＥＶＥＮ＝０

として，加法と乗法を定義すると

　　＋　　０　　１　　　　　×　　０　　１

　　０　　０　　１　　　　　０　　０　　０

　　１　　１　　０　　　　　１　　０　　１

となります．

　偶数か奇数かは２で割ったときの余りで識別できますが，同様に３で割ったときの余りで分類した数体系を考えます．余りは０，１，２のどれかですから，

　　＋　　０　　１　　２　　　　　×　　０　　１　　２

　　０　　０　　１　　２　　　　　０　　０　　０　　０

　　１　　１　　２　　０　　　　　１　　０　　１　　２

　　２　　２　　０　　１　　　　　２　　０　　２　　１

のような演算を定義することができるわけです．

　もう少し続けてみることにしましょう．ｎ＝４のとき

　　＋　　０　　１　　２　　３　　　　　×　　０　　１　　２　　３

　　０　　０　　１　　２　　３　　　　　０　　０　　０　　０　　０

　　１　　１　　２　　３　　０　　　　　１　　０　　１　　２　　３

　　２　　２　　３　　０　　１　　　　　２　　０　　２　　０　　２

　　３　　３　　０　　１　　２　　　　　３　　０　　３　　２　　１

ｎ＝５のとき

　　＋　　０　　１　　２　　３　　４

　　０　　０　　１　　２　　３　　４

　　１　　１　　２　　３　　４　　０

　　２　　２　　３　　４　　０　　１

　　３　　３　　４　　０　　１　　２

　　４　　４　　０　　１　　２　　３

　　×　　０　　１　　２　　３　　４

　　０　　０　　０　　０　　０　　０

　　１　　０　　１　　２　　３　　４

　　２　　０　　２　　４　　１　　３

　　３　　０　　３　　１　　４　　２

　　４　　０　　４　　３　　２　　１

その算法（和と積）はそれぞれ和，積のｍｏｄ５での余りとなります．足し算では巡回するだけで面白味がないので，これ以降はかけ算だけを続けてみます．

ｎ＝６のとき

　　×　　０　　１　　２　　３　　４　　５

　　０　　０　　０　　０　　０　　０　　０

　　１　　０　　１　　２　　３　　４　　５

　　２　　０　　２　　４　　０　　２　　４

　　３　　０　　３　　０　　３　　０　　３

　　４　　０　　４　　２　　０　　４　　２

　　５　　０　　５　　４　　３　　２　　１

ｎ＝７のとき

　　×　　０　　１　　２　　３　　４　　５　　６

　　０　　０　　０　　０　　０　　０　　０　　０

　　１　　０　　１　　２　　３　　４　　５　　６

　　２　　０　　２　　４　　６　　１　　３　　５

　　３　　０　　３　　６　　２　　５　　１　　４

　　４　　０　　４　　１　　５　　２　　６　　３

　　５　　０　　５　　３　　１　　６　　４　　２

　　６　　０　　６　　５　　４　　３　　２　　１

　いずれのかけ算の表でも，

　　１）０の行・列はすべて０

　　２）主対角線に関して対称

です．また，０以外の行・列では，ｎ＝２，３，５，７の場合，０〜ｎ−１が一度ずつ現れましたが，ｎ＝４，６ではそうはならず，非常に大きな違いがあることに気づきます．

　ａ・ａ^(-1)＝１となるａ^(-1)をａの逆元といいます．ｎ＝７の表で説明すると，１の逆元は１，２の逆元は４，３の逆元は５，４の逆元は２，５の逆元は３，６の逆元は６となるというわけです．

　０以外の元が常に乗法に関する逆元をもつ数体系を「体」といいますが，以上の結果において，２，３，５，７は素数，４，６は合成数ですから，集合

　　｛０，１，２，・・・，ｎ−１｝

はｎが素数のとき体となる，合成数のとき環であって体ではないことを示しているのです．

　重要なのは，

　　「ｐが素数のとき，Ｚ／ｐＺは体である．」

ということで，素数ｐで割ったときの余りで分類した数体系を考えると，ｐ個の元からなる有限体ができあがります．そして，素数ｐに対して定まる有限体をＦpと書きます．

　　Ｆ7＝｛０，１，２，３，４，５，６｝

はあるが，Ｆ6というものは存在しないというわけです．

　なお，有限体は乗法の交換法則を満たすので可換体となります．有限体が必ず可換体になることを証明したのはウェダーバーンです（１９０５年）．

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

　有限体Ｆpの０以外の元をａとします．このとき，ａをｐ回足すとはじめて０になります．素数７を例にとって，Ｆ7でａ＝３を何回もたしてみると

　　３＋３＝６

　　３＋３＋３＝６＋３＝２

　　３＋３＋３＋３＝２＋３＝５

　　３＋３＋３＋３＋３＝５＋３＝１

　　３＋３＋３＋３＋３＋３＝１＋３＝４

　　３＋３＋３＋３＋３＋３＋３＝４＋３＝０

このｐを有限体Ｆpの標数といいます．

　また，ａをｐ−１回掛けると１になります．Ｆ7において

　　ａ＼^n　　１　　２　　３　　４　　５　　６

　　　１　　　１　　１　　１　　１　　１　　１

　　　２　　　２　　４　　１　　２　　４　　１

　　　３　　　３　　２　　６　　４　　５　　１

　　　４　　　４　　２　　１　　４　　２　　１

　　　５　　　５　　４　　６　　２　　３　　１

　　　６　　　６　　１　　６　　１　　６　　１

最後の列はすべて１です．

　このように，ｐで割り切れない整数ａに対して，フェルマーの定理

　　ａ^(p-1)＝１　　（ｍｏｄ　ｐ）

が成り立つというわけです．また，このことからａ^(p-2)がａの逆元となることも理解されます．

　　１／ａ＝ａ^(p-2)

Ｆ7では，

　　１／３＝３^5＝５，１／６＝６^5＝６

　なお，この表において，１は１乗してはじめて１になりますが，２は３乗して，３は６乗して，４は３乗して，５は６乗して，６は２乗してはじめて１になります．ｐと互いに素な整数ａがｐ−１乗してはじめて１になるとき，ａを原始根といいます．Ｆ7においては３，５が原始根です．

　Ｆpにおける原始根ａが与えられたとき，０以外のすべての元は，

　　ａ^i　　　（i=0〜p-2）

の形に表すことができます．

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

［補］ブール代数

　コンピュータはたくさんのスイッチ（ＯＮ／ＯＦＦ素子）からできているわけですが，

　　ＯＮ＝１，ＯＦＦ＝０

という２つの元からなる数体系を対応させることができます．

　そして，演算規則

　　＋　　０　　１　　　　　×　　０　　１

　　０　　０　　１　　　　　０　　０　　０

　　１　　１　　１　　　　　１　　０　　１

がそれぞれＯＲ回路，ＡＮＤ回路に相当します．

　このような演算体系は「ブール代数」と呼ばれます．Ｆ2のときの２を法とした通常の剰余とは，演算規則が１＋１＝１のところで異なっています．

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