環論（かんろん）

概要

環論は、抽象代数学の重要な分野の一つであり、整数、多項式、行列など、様々な数学的対象の共通の性質を研究する。これらの対象は、加法と乗法という二つの演算を持つ構造として捉えられ、その演算の性質が環論の主要な研究対象となる。

環の定義

環とは、以下の条件を満たす集合Rと、その上の二つの演算（加法+と乗法×）の組(R, +, ×)のことである。

1. Rは加法について可換群である。（結合律、単位元の存在、逆元の存在、可換性）
2. Rは乗法について結合律を満たす。
3. 乗法は加法に対して分配律を満たす。（a × (b + c) = a × b + a × c, (a + b) × c = a × c + b × c）

環の種類

環には様々な種類がある。例えば、

• 可換環: 乗法について可換である環 (a × b = b × a)。
• 単位元を持つ環: 乗法について単位元を持つ環。通常、1と表記される。
• 整域: 零因子を持たない可換環。零因子とは、a ≠ 0 かつ b ≠ 0 であるにもかかわらず、a × b = 0 となる a, b のこと。
• 体: 乗法について逆元を持つ可換環。すべての非零元が乗法逆元を持つ。

環論の応用

環論は、数学の様々な分野に応用されている。例えば、

• 数論: 整数論における合同式の研究。
• 代数幾何: 多項式環を用いた代数多様体の研究。
• 暗号理論: 有限体を用いた暗号システムの構築。
• 符号理論: 環を用いた誤り訂正符号の設計。

歴史

環論の起源は、19世紀後半に、数論の研究から生まれた。特に、クンマーによる理想論の研究が、環論の発展に大きな影響を与えた。その後、ヒルベルト、エミー・ネーター、ヴァン・デル・ヴェルデンなどの数学者によって、環論は体系化され、現代の抽象代数学の基礎の一つとなった。