ガロア体（有限体）：構造、分類、応用

基本構造と分類

すべての有限体の標数は素数 p である。したがって、その大きさ q は、ある整数 n ≥ 1 に対して素数冪 q = pn でなければならない。逆に、任意の素数 p と正の整数 n に対して、pn 個の元をもつ体が存在し、同じ数の元をもつ任意の二つの体は同型である。p 個の元をもつ体は、同型を除いて一意であり、しばしば Fp と書かれる。これは素体と呼ばれることもあり、p を法とする整数と同一視できる。

構成と重要な性質

位数 pn の有限体は、Fp の拡大体として構成される。一般的な構成では、多項式環 Fp[x] を次数 n の既約多項式 f(x) で割った商 Fp[x]/(f(x)) をとる。元は多項式として表現できる。

• 零でない元からなる乗法群は、位数 pn − 1 の巡回群である。
• この体は Fp 上 n 次元のベクトル空間である。
• フロベニウス写像 x ↦ xp は自己同型であり、その反復は拡大 Fpn/Fp のガロア群を生成する。

例

簡単な例には GF(2)（2元体）と GF(5) がある。実用される拡大体の例には GF(28) と GF(256) があり、後者は q = 256 のときの GF(28) の別名である。これらはデジタルシステムで広く用いられる。具体的な実現は選ぶ既約多項式に依存する。異なる多項式から得られる体は同型であるが、計算上の表現は異なりうる。

応用と意義

有限体は多くの実用的なアルゴリズムとプロトコルを支える。リード・ソロモン誤り訂正符号とQRコードは、GF(2m) 上の演算を利用する。ブロック暗号や暗号学的プリミティブも有限体演算に依存することが多く、たとえば AES は GF(28) に基づくバイト指向の体での演算を用いる。その代数的性質により、ガロア理論や有限幾何学などの理論的分野でも中心的な役割を果たす。

歴史と注目すべき事実

「ガロア体」という名称は、体の拡大と置換群を結び付けた基礎的研究を行ったエヴァリスト・ガロアにちなんでいる。彼の考えは、有限体拡大とその自己同型の研究へとつながった。背景概念については体（代数学）を参照。より広い文脈と資料については、抽象代数学の入門資料、および数論と代数幾何学の概説を参照されたい。応用は符号理論と暗号理論の文献で概説されている。この名称がたたえる数学者はエヴァリスト・ガロアである。