この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。
出典を追加して記事の信頼性向上にご協力ください。このタグは2011年12月に貼り付けられました。

代数学において有限体（ゆうげんたい、英語：finite field）は、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、エヴァリスト・ガロアにちなんでガロア体あるいはガロア域（ガロアいき、Galois field）などとも呼ぶ。

有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理などと呼ばれる以下の定理

「有限斜体は可換体である」

が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の定義におけるそのほかの条件から導かれるということである。
目次

1 構造

2 応用

3 関連項目

4 外部リンク


構造

K を有限体とし、その位数を q とする。K の素体の位数も有限であるから、K はある素数 p に対する有限体 Fp = Z / pZ を素体として含み、素体 Fp の有限次代数拡大である。その拡大次数 [K: Fp] が n ならば、加法群として K は n 次元の Fp-ベクトル空間と同型であるので、K の位数 q は pn に一致する。

K を含む Fp の代数閉包を (Fp)^ とする。このとき K は、 (Fp)^ の元で、重根を持たない方程式 xq ? x = 0 を満たすものの全体として特徴付けられる。とくに

「位数が pn の有限体は（同型を除いて）唯一つ存在する」

という一意性が従う。この一意性により、位数 q の有限体を Fq または GF(q) などと表すことがある。また、有限体 GF(q) と自然数 m に対し

「GF(q) の m 次拡大体は唯一つ存在し、GF(qm) になる」

ということもわかる。さらに GF(qm) の各元の GF(q) 上の最小多項式は xqm ? x を割り切るので、有限体の拡大はすべて分離的である。つまり有限体は完全体である。さらに q 乗フロベニウス写像とよばれる自己同型写像

を考えると、拡大 GF(qm)/GF(q) のガロア群

はフロベニウス写像で生成される。つまり、

と表される。したがって、有限体の拡大はすべて巡回拡大である。

有限体は、代数的閉体でありえない。
応用

リード・ソロモン符号など基本的なものを含む多くの誤り検出・訂正は、GF(2)、GF(22)、GF(24)、GF(28)、GF(216) などを使う。

AES暗号、Camelliaなど、2000年代以降の共通鍵暗号の多くは、SボックスにGF(28) を使う。

楕円曲線暗号は、きわめて大きな位数の有限体、たとえばGF(2400) などを使う。

関連項目

素体

体

標数

外部リンク

⇒Finite Field -- From MathWorld（有限体）（英語）

カテゴリ：

体論

数学に関する記事
隠しカテゴリ：

出典を必要とする記事/2011年12月


更新日時:2011年12月16日(金)12:59（日時は
取得日時:2012/05/24 11:07