有限体

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

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

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

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

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

構造[編集]

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

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

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

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

  • Fqm 次拡大体は唯一つ存在し、Fqm になる」

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

\sigma_f\colon \textbf{F}_{q^m} \to \textbf{F}_{q^m};\ a \mapsto a^q

を考えると、拡大 Fqm/Fq のガロア群

\mathrm{Gal}(\textbf{F}_{q^m}/\textbf{F}_{q}) 
  = \mathrm{Aut}_{\textbf{F}_{q}}(\textbf{F}_{q^m})

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

\mathrm{Gal}(\textbf{F}_{q^m}/\textbf{F}_{q})
 = \langle \sigma_f \rangle = \{
  \mathrm{id}_{\textbf{F}_{q^m}}, \sigma_f, \sigma_f^2, \ldots, \sigma_f^{m-1}
 \}

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

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

応用[編集]

関連項目[編集]

外部リンク[編集]