1 定義と基本性質
1.1 環の定義
環（ring）とは、加法と乗法という二つの演算を備えた代数的構造であり、乗法と加法が一定の整合性をもつように要請されたものを指す。加法は和を表し、乗法は積を表すが、いずれも閉性を満たし、基礎集合の要素同士の演算結果が同じ集合の要素として得られることが前提となる。さらに、乗法については結合法則（積の結合の仕方に依らないこと）が要求される。
1.2 演算の公理
1.2.1 加法についての性質
加法は、少なくとも可換群として振る舞う形をとる。すなわち、任意の要素 \(a,b,c\) について加法の結合法則 \(a+(b+c)=(a+b)+c\) が成り立ち、加法に関する零元 \(0\) が存在して \(a+0=0+a=a\) が成り立つ。また、各元 \(a\) には加法逆元 \(-a\) が存在し \(a+(-a)=0\) が成立する。さらに、加法が可換である場合には \(a+b=b+a\) が追加されるが、環の定義では可換性をどのように扱うか（後の「可換環」へ分岐させる）という点で整理される。
1.2.2 乗法についての性質
乗法は、結合法則を満たすことが基本要件である。すなわち、任意の要素 \(a,b,c\) に対し \((ab)c=a(bc)\) が成り立つ。加えて、一般の環では乗法の可換性や逆元の存在は仮定しないのが通常である。したがって、積の順序が意味を持つことがある。
1.2.3 分配法則
分配法則は、乗法が加法に関して矛盾なく結び付くことを保証する条件である。具体的には、任意の \(a,b,c\) について \[ a(b+c)=ab+ac,\quad (a+b)c=ac+bc \] が成り立つ必要がある。これにより、環の計算は加法と乗法を同時に扱う際にも整合的なものになる。
1.3 例
1.3.1 整数環
整数全体 \(\mathbb{Z}\) は、通常の加法・乗法を備えた環として典型例である。加法は可換群になり、乗法は結合的で、分配法則も自然に成り立つ。整数環では、約数や素数の概念が、後に「整域」や「因数分解」といった性質の代表例として位置づけられる。
1.3.2 多項式環
体 \(K\) 上の多項式全体 \(K[x]\) は、多項式を加算・乗算することで環を形成する例である。係数は \(K\) の要素であり、次数が定義される。加法は係数ごとの和として定義され、乗法は係数を畳み込む形で定義される。多項式環では、次数に基づく議論や、既約性・因数分解の研究が体系的に進む土台となる。
1.3.3 行列環
ある集合上の要素で作った \(n\times n\) 行列全体は、行列の和と積で環になる。行列の加法は可換であり、積は結合的である。ただし一般に行列の積は可換でないため、行列環は「可換であるとは限らない乗法」を持つ環として重要である。さらに、零因子の有無などの性質が、行列という具体物を通じて直感的に理解される。
2 主要な種類
2.1 可換環
可換環とは、加法について可換群の性質を持つとともに、乗法が可換であるような環を指す。つまり任意の元 \(a,b\) に対して \(ab=ba\) が成り立つ。可換性は理論の計算を単純化し、イデアルや因数分解など多くの概念で対称性が現れるため、体系化の中心的な対象となる。
2.2 単位元をもつ環
単位元をもつ環（単位的環）とは、乗法に関する単位元 \(1\) が存在する環である。すなわち任意の元 \(a\) について \(1a=a\) かつ \(a1=a\) が成り立つ。単位元があると、可逆性の議論や、準同型が「単位を保つかどうか」といった追加条件を持つ場合が整理しやすくなる。
2.3 整域
整域（integral domain）とは、零因子を持たないことを要求した単位的可換環として理解されることが多い。すなわち、非零元 \(a,b\) の積が零にならないという条件 \(ab=0\Rightarrow a=0\ \text{または}\ b=0\) が成り立つ。零因子がないため、積の性質が「因数の検討」と結び付きやすい。
2.3.1 零因子
零因子とは、積が零になるような非零元の組が存在する場合に現れる概念である。単位元をもつ環では、非零元 \(a\neq 0\) と \(b\neq 0\) で \(ab=0\) が成立するなら \(a\) や \(b\) は零因子と呼ばれる。零因子の有無は整域性を左右し、代数構造の「どの程度に積が忠実か」を示す指標になる。
2.3.2 因数分解の性質
整域では、零因子がないことによって因数分解の議論が意味を持ちやすい。たとえば、ある元を積として表したときに、その因子が零でない限り「積が零になることで情報が消える」状況が起きない。これにより、既約性、素元、最大公約数などの概念を、より整った形で扱う準備が整う。さらに、因数分解の一意性がどの条件で成立するかは、環がどのクラスに属するか（たとえば主イデアル整域など）によって異なるが、本質的な出発点は整域の零因子排除にある。
2.4 体
体（field）は、単位元をもつ整域であり、かつ0以外の任意の元が乗法について可逆であることを要求する。可逆性があることで、方程式の解の存在や計算が大きく簡潔になる。体上では線形代数や解析に近い形の構造が整備され、さらに多項式環の研究でも基礎となる。
2.4.1 可逆元
可逆元とは、ある元 \(a\) に対して、環の中に \(b\) が存在して \(ab=ba=1\) が成り立つときに、\(a\) が可逆であるという。可逆元が多いほど、方程式変形や同値性の取り扱いが容易になる。特に体では、0以外の全ての元が可逆であるため、除算に相当する操作が一般化された形で使える。
2.4.2 体と整域の関係
体は整域の一種であるが、整域にあって体ではない例では、ある非零元が可逆ではないことがある。この差は、方程式論や多項式の性質に直接影響する。たとえば、分母が必要になる操作（割り算）がどの範囲で許されるかが変わり、解の存在範囲が広がるのは体の場合である。したがって整域から体への拡張は、多くの理論で計算の柔軟性を高める役割を果たす。
3 重要な構造
3.1 部分環
部分環（subring）とは、環 \(R\) の部分集合 \(S\subseteq R\) が、\(R\) の加法・乗法に関して閉じているときに得られる環構造である。通常、部分環は \(S\) 自体の加法と乗法を、\(R\) の演算により定めて環になるようにする。単位元を含むかどうかで定義上のバリエーションがあるが、基本的には演算の整合性を満たすことが要点となる。部分環を考えることで、複雑な対象を局所的な振る舞いに分解して理解できる。
3.2 イデアル
イデアル（ideal）は、環の内部で「割り算を可能にするための目印」を与える概念である。特に商環を定義するために不可欠であり、要素に対して吸収性を持つ部分集合として特徴付けられる。加法については部分群になることを要求し、さらに環の任意の元で左右から掛けても集合の外へ飛び出さない性質を持つ。
3.2.1 左イデアル
左イデアルとは、部分集合 \(I\) が加法について部分群であり、任意の \(r\in R\) と \(x\in I\) に対し \(rx\in I\) が成り立つものを指す。乗法の扱いが左右に分かれる環では、左側への吸収性がどのように成立するかが重要になる。
3.2.2 右イデアル
右イデアルは左イデアルと対称的で、任意の \(r\in R\) と \(x\in I\) に対し \(xr\in I\) が成り立つことを条件とする。非可換な状況では、左と右が一致しない場合があるため、分類に有用な区別となる。
3.2.3 両側イデアル
両側イデアル（two-sided ideal）は、左と右の両方の吸収性を同時に満たす部分集合である。すなわち \(rx\in I\) かつ \(xr\in I\) が任意に成り立つ。両側であることにより、商環における乗法が well-defined になるため、理論の中核を成す。
3.3 商環
商環（quotient ring）は、イデアルによって環の要素を同値視し、得られる同値類全体に演算を入れることで構成される。直観的には、イデアルの要素を「0のように扱う」操作に対応する。両側イデアルを用いることで、乗法の定義が矛盾なくできる点が中心となる。
3.3.1 剰余類
剰余類（coset）とは、イデアル \(I\) に対して元 \(a\) を固定し、集合 \(a+I=\{a+x\mid x\in I\}\) として得られる部分集合を指す。異なる代表元でも剰余類が一致する場合があるため、剰余類として扱うことで商集合が定義できる。加法と乗法は、同値類の代表を選んでも結果が変わらないように定義される必要がある。
3.3.2 自然な射影
自然な射影（natural projection）は、環 \(R\) から商環 \(R/I\) へ元を対応付ける写像で、各元 \(a\) をその剰余類 \(a+I\) に送る。これはイデアルを潰す操作そのものを形式化した写像であり、準同型の性質と密接に関係する。核はちょうどイデアル \(I\) になり、商構成の普遍性と対応関係を与える。
4 環論の発展的話題
4.1 環同型と準同型
4.1.1 核
準同型（homomorphism）は、環の加法と乗法の構造を保つ写像である。核（kernel）は、その準同型で零元に写される全ての元からなる集合として定義される。核は一般にイデアルになることが示され、商環との対応づけにより理論が整理される。核は「何が同値に潰されるか」を表し、写像の情報を要約する役割を担う。
4.1.2 像
像（image）は、準同型が実際に到達する元全体の集合である。像もまた環の構造を受け継ぐ対象として扱え、元の対応の範囲を記述する。準同型の核と像は互いに補完的であり、同値類の整理や商構成の理解に向けて重要な手掛かりとなる。
4.2 環上の加群
加群（module）は、環を係数として持つ線形空間の一般化として理解される。環 \(R\) 上の加群 \(M\) では、\(R\) の元と \(M\) の元の間にスカラー倍に相当する作用が定義され、加法と分配的に整合する。加群を用いることで、環自身の性質を「そこでの表現」として捉え直せるため、イデアルの性質や局所的な振る舞いを研究する道具になる。
4.3 局所化
局所化（localization）は、環から特定の元を「分母として許す」ことで、局所的な情報を取り出す操作である。たとえば、ある乗法的集合に属する要素を可逆にするような拡大環を作ることで、方程式の可解性や性質の検査が容易になる。局所化は加群にも作用し、局所的な性質（どの点で成り立つか）を調べる際の標準的手段となる。
4.4 可換環論の基礎
4.4.1 素イデアル
素イデアル（prime ideal）は、商の性質と結び付くイデアルである。可換環の文脈では、イデアル \(P\) が素であるとは、積が \(P\) に入る場合に少なくとも一方が \(P\) に入るという条件が成り立つことを指す。この性質は、整域的な振る舞いをイデアルの言葉に移したものと見なせる。素イデアルの体系は、構造の分解と分類に大きく寄与する。
4.4.2 極大イデアル
極大イデアル（maximal ideal）は、イデアルとして包含関係の観点でそれ以上大きくなれないものとして定義される。可換環では、極大イデアルによって形成される商が体になることが知られており、体との橋渡しとして意味を持つ。極大イデアルは幾何学的な点の対応とも結び付くため、分解の基本単位として扱われることが多い。
4.4.3 スペクトルの考え方
スペクトル（spectrum）の考え方は、可換環が持つ素イデアル全体を点の集合としてみなし、その集合に代数的・位相的な構造を与える発想に基づく。ここでは、素イデアルを「位置」として扱うことで、局所化や性質の成り立つ範囲を統一的に記述できるようになる。結果として、可換環の問題が幾何的直観と結び付くため、代数幾何の基礎言語として広く利用される。