コンテンツにスキップ

有限体

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ガロア体から転送)

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

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

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

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

構成例

[編集]

位数最小の有限体は集合としては F2 = Z/2Z = {0, 1} で、演算は次で定める。 これは2を法とした余りで加法と乗法を定めていると言ってもよい。

F2 の加法表
+ 0 1
0 0 1
1 1 0
F2 の乗法表
× 0 1
0 0 0
1 0 1

同様の構成は一般の素数 p に対しても成り立つ。整数環 Zp の倍数全体 pZ素イデアルで、整数環がPIDなので、特に極大イデアル。したがって剰余環 Fp = Z/pZp 個の元からなる体である。

素数位数とは限らない有限体も存在する。F2 係数一変数多項式環 F2[x] を考える。その既約多項式 f(x) = x2 + x + 1 の生成する素イデアル (f(x)) は、 F2[x] がPIDなので、特に極大イデアル。したがって剰余環 F4 = F2[x]/(f(x)) は 4 個の元からなる体である。変数 x の自然な全射による像を ω とおくと、F4 = {0, 1, ω, ω2} と表せ、その演算は関係式 ω2 + ω + 1 = 0 から定まる。

同様の構成は一般の素数 p に対して成り立ち、任意の拡大次数 d をもつ拡大体が構成できる。そのとき次数 d の既約多項式としてはコンウェイ多項式(有限体)英語版を取ればよい。

構造

[編集]

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

K を含む Fp代数閉包を (Fp)^ とする。このとき K は、 (Fp)^ の元で、重根を持たない方程式 xqx = 0 を満たすものの全体として特徴付けられる。特に位数が pn の有限体は同型を除いて唯一つ存在する[1]。この一意性により、位数 q の有限体を Fq または GF(q) などと表すことがある。また、有限体 Fq と自然数 m に対し Fqm 次拡大体は唯一つ存在し、Fqm と同型であるということも分かる。さらに Fqm の各元の Fq 上の最小多項式は xqm}]x を割り切るので、有限体の拡大はすべて分離的である。つまり有限体は完全体である。さらに qフロベニウス写像とよばれる自己同型写像

を考えると、拡大 Fqm/Fq のガロア群 Gal(Fqm/Fq) = AutFq(Fqm) はフロベニウス写像で生成される。つまり、

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

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

有限体 Fqm の元 α, αq, …, αqm − 1Fq 上のベクトル空間 Fqm の基底をなすとき,この基底を正規基底という。正規基底は常に存在する[3]

応用

[編集]

脚注

[編集]
  1. ^ a b c d van der Waerden 2003, Section 6.7.
  2. ^ Lidl & Niederreiter 1997, Theorem 2.21.
  3. ^ Lidl & Niederreiter 1997, Theorem 2.35.

参考文献

[編集]
  • van der Waerden, B. L. (2003). Algebra. I. Springer-Verlag. ISBN 0-387-40624-7 
  • Lidl, Rudolf; Niederreiter, Harald (1997). Finite Fields (2nd ed.). Cambridge University Press. ISBN 0-521-39231-4. https://books.google.co.jp/books?id=xqMqxQTFUkMC&printsec=frontcover&hl=ja&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false 
  • Igor E. Shparlinski: "Computational and Algorithmic Problems in Finite Fields", Springer (series MASS, Vol.88) (1992). DOI:10.1007/978-94-011-1806-4.
  • Jenny Fuseliear et al.: Hypergeometric Functions Over Finite Fields, AMS, Memoirs, No. 1382, (2022).

関連項目

[編集]

外部リンク

[編集]