可換環とは、通常「加法」と「乗法」と呼ばれる二つの二項演算を備えた集合であり、加法によってその集合がアーベル群となり、乗法は結合的かつ可換である代数構造です。さらに、乗法は加法に対して分配的でなければならず、すべての要素 a, b, c について a(b + c) = ab + ac が成り立ちます。著者によっては乗法の単位元（「1」）を要求する場合としない場合があり、単位元があるとき、その環は 単位的 であるといいます。
基本的性質と公理
可換環を特徴づける標準的な公理は、概ね次のように整理できます。
- 加法構造: 加法についての閉性、加法単位元（0）、加法逆元、結合法則、交換法則。
- 乗法構造: 乗法についての閉性と結合法則。可換環では乗法は可換です。
- 分配法則: 乗法が加法に対して両側から分配すること。
さらに条件を加えることで、重要な下位クラスが得られます。たとえば、整域は、単位元をもち、非自明な零因子をもたない可換環です。体は、0 でないすべての元が乗法逆元をもつ可換環です。
例と代表的な構成
よく知られた代数系の多くは可換環であるか、そこから作られます。整数全体は典型例です。係数がある環に属する多項式環、Z/nZ のような剰余環、さらに空間上の実数値連続関数環や微分可能関数環も、標準的な例です。符号理論や暗号で使われる有限体は、0 でない元による除法が可能な可換環です。
数学における役割
可換環は、数論、代数幾何学、ホモロジー代数の各分野を結びつける共通言語として機能します。加法で閉じ、乗法に対して吸収的な部分集合である イデアル の理論は、整除や因数分解の役割を置き換え、素イデアルや極大イデアルといった概念へつながります。位相を備えた素イデアル全体は環のスペクトルを与え、現代代数幾何学におけるスキーム理論の基本構成要素になります。
歴史と発展
環という概念は、19世紀から20世紀初頭にかけて、数学者が整数、代数的整数、多項式の演算を形式化する中で現れました。代数学者や数論研究者の仕事によって、今日の代数学の授業で教えられる抽象的な公理化が確立され、さらに後の発展では、環は幾何学や圏論と結びつき、その概念的な広がりを増しました。
備考と区別
数学文献を読むときは、用語の慣習を確認するとよいでしょう。ある著者は乗法の可換性を仮定しない任意の環を単に「環」と呼ぶ一方、別の著者は「可換環」という語を明示的に用います。重要な特殊クラスとしては、主イデアル整域、一意分解整域、ネーター環、局所環などがあり、それぞれがイデアルや加群の振る舞いを制御する追加構造を課します。入門や概説には 一般代数学の資料、より焦点を絞った解説には 数論 や 代数幾何学 を参照してください。Z/nZ や多項式環のような環で具体的な計算を行う場合は、記号代数の入門資料 が役立ちます。