素数体（そすうたい）
最終更新：2026/4/22
素数体は、環論において、素数 p を法とする剰余環 ℤ/pℤ のことです。これは、p を法とする合同式による整数の集合に、加法と乗法を定義したものです。
別名・同義語 剰余環ガロア体
ポイント
素数体は、有限体の一種であり、暗号理論や符号理論などの分野で重要な役割を果たします。特に、p が素数の場合、その体は可換体となります。
素数体の概要
素数体は、数学、特に抽象代数学における基本的な概念です。整数をある素数 p で割った余りの集合に、加法と乗法を定義することで構成されます。この剰余環は、ℤ/pℤ と表記され、p を法とする合同式に基づいて演算が定義されます。
素数体の構成
素数体 ℤ/pℤ は、集合 {0, 1, 2, …, p-1} と、以下の演算によって定義されます。
- 加法: a + b ≡ (a + b) mod p
- 乗法: a * b ≡ (a * b) mod p
ここで、≡ は合同式を表し、mod p は p で割った余りを意味します。
素数体の性質
素数体は、以下の重要な性質を持ちます。
- 有限性: 素数体は有限個の要素を持ちます（p 個）。
- 可換性: 加法と乗法は可換です（a + b = b + a, a * b = b * a）。
- 単位元: 乗法における単位元は 1 です。
- 零元: 加法における零元は 0 です。
- 体の公理を満たす: 加法と乗法に関して、体の公理（結合律、分配律、逆元の存在など）を満たします。
素数体の応用
素数体は、様々な分野で応用されています。
- 暗号理論: RSA暗号などの公開鍵暗号システムは、素数体に基づいています。
- 符号理論: エラー訂正符号の設計に利用されます。
- 計算機科学: ハッシュ関数や乱数生成器の設計に利用されます。
- 有限体上の多項式: 有限体上の多項式は、符号理論や暗号理論で重要な役割を果たします。
有限体との関係
素数体は、有限体の一種です。有限体は、要素数が有限個である体であり、素数体は最も基本的な有限体です。一般に、有限体は、素数 p と正の整数 n を用いて GF(p^n) と表記されます。素数体は、n = 1 の場合に相当します。