有限体




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


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



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



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




目次






  • 1 構成例


  • 2 構造


  • 3 応用


  • 4 脚注


  • 5 参考文献


  • 6 関連項目


  • 7 外部リンク





構成例


位数最小の有限体は集合としては 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 に対しても成り立つ。
整数環 Z の p の倍数全体 pZ は素イデアルで、整数環がPIDなので、特に極大イデアル。
したがって剰余環 Fp = Z/pZ は p 個の元からなる体である。


素数位数とは限らない有限体も存在する。
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 ならば、加法群として K は n 次元の Fp-ベクトル空間と同型であるので、K の位数 q は pn に一致する[1]。また乗法群 K× は位数 q − 1 の巡回群と同型である[1]。


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



σ:Fqm→Fqm; a↦aq{displaystyle sigma colon {textbf {F}}_{q^{m}}to {textbf {F}}_{q^{m}}; amapsto a^{q}}sigma colon {textbf {F}}_{{q^{m}}}to {textbf {F}}_{{q^{m}}}; amapsto a^{q}



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



Gal(Fqm/Fq)=⟨σ⟩={idFqm,σ,σ2,…,σm−1}{displaystyle mathrm {Gal} ({textbf {F}}_{q^{m}}/{textbf {F}}_{q})=langle sigma rangle ={mathrm {id} _{{textbf {F}}_{q^{m}}},sigma ,sigma ^{2},ldots ,sigma ^{m-1}}}{mathrm {Gal}}({textbf {F}}_{{q^{m}}}/{textbf {F}}_{{q}})=langle sigma rangle ={{mathrm {id}}_{{{textbf {F}}_{{q^{m}}}}},sigma ,sigma ^{2},ldots ,sigma ^{{m-1}}}



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


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


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



応用




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


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


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



脚注




  1. ^ abcdvan 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. http://books.google.co.jp/books?id=xqMqxQTFUkMC&printsec=frontcover&hl=ja&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false. 



関連項目



  • 素体

  • 体

  • 標数


  • CLMUL instruction set - 有限体の乗算のための命令



外部リンク



  • Galois field --- Encyclopedia of Mathematics（英語）



Popular posts from this blog

Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

Image
28 6 $begingroup$ Per the Font of Magic feature, sorcerer can use Flexible Casting to create 5th-level spell slots at level 7, even though they are not typically available until level 9. You can transform unexpended sorcery points into one spell slot as a bonus action on your turn. The Creating Spell Slots table shows the cost of creating a spell slot of [5th level is 7] If such a sorcerer levels up while still having this 5th-level spell slot, can they choose a 5th-level spell as the spell they gain upon levelling up? The Spellcasting feature states: Additionally, when you gain a level in this class, you can choose one of the sorcerer spells you know and replace it with another spell from the sorcerer spell list, which also must be of a level for which you have spell slots.
Read more

Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

Image
up vote 13 down vote favorite 1 After the 2018 errata, the disintegrate spell description now reads: A creature targeted by this spell must make a Dexterity saving throw. On a failed save, the target takes 10d6 + 40 force damage. The target is disintegrated if this damage leaves it with 0 hit points. If you were to polymorph an enemy into a rat and then disintegrate it, would the enemy be disintegrated or would it just return to its original form? I know that for Druids, it’s not an instant kill anymore, but is this the case for polymorph as well? dnd-5e spells polymorph errata share | improve this question edited 18 hours ago
Read more

A Topological Invariant for $pi_3(U(n))$

Image
3 3 $begingroup$ Recently, I saw a construction of topological invariant for $pi_3(U(n))$ with $ngeq 2$ : $$ N=frac{1}{24pi^2}int_{S^3} d^3x epsilon^{ijk} Tr[(U^{-1}partial_{x_i}U)(U^{-1}partial_{x_j}U)(U^{-1}partial_{x_k}U)] , $$ where $Uin U(n)$ depends on $boldsymbol{x}=(x_1,x_2,x_3)in S^3$ , $epsilon^{ijk}$ is the Levi-Civita symbol, $i,j,k=1,2,3$ , and the duplicated indexes are summed over. It is claimed that $N$ is an integer, but why? Update 02/02/2019 I think I got an argument for $n=2$ . In this case, $U=e^{i varphi} q$ with $qin SU(2)$ . Due to the trace and the Levi-Civita symbol in $N$ , $varphi$ does not contribute to $N$ . As $Tr[q^{dagger}partial_i q]=0$ and $(q^{dagger}partial_i q)^{dagger}=-q^{dagger}partial_i q$ , $q^{dagger}partial_i q$ in geneeral has the form $q^{dagger}partia
Read more