1 イデアルの基本概念
1.1 イデアルの定義
1.1.1 加法に関する閉性
可換環または一般の環 \(R\) の部分集合 \(I\) がイデアルであるとは、まず \(I\) が加法について「環の中で閉じている」ことを要する。具体的には、\(a,b\in I\) なら \(a+b\in I\) であり、さらに \(a\in I\) なら \(-a\in I\) となる。これにより \(I\) は（少なくとも）\(R\) の加法群の部分群になる。
1.1.2 環との掛け算に関する吸収性
次に、掛け算に関する条件が本質となる。可換環では、\(r\in R\) と \(a\in I\) に対し \(ra\in I\)（同値に \(ar\in I\)）が成り立つことが要求される。これにより \(I\) は「環の要素でスケールしても同じ集合の外へ出ない」振る舞いを持つ。非可換な状況では、左から掛ける場合と右から掛ける場合で条件が分かれる。
1.1.3 両側イデアルと片側イデアル
非可換環では、両側性を区別する必要がある。\(I\) が左イデアルであるとは \(r\in R,\,a\in I\) に対し \(ra\in I\) が常に成り立つこと、右イデアルとは \(ar\in I\) が成り立つことを指す。両側イデアルは両方を同時に満たす。両側性は商環が通常の形で定義できるため、代数幾何などではしばしば両側イデアルが扱われる。
1.2 可換環での特別な状況
1.2.1 可換性がもたらす簡略化
可換環では左・右の区別が消える。任意の \(r\in R\) と \(a\in I\) について \(ra=ar\) となるため、片側イデアルの概念も一つに統合され、吸収性は同一条件として表現できる。結果として理論の記述はより短くなり、生成・商・分類の各段階で統一的な扱いが可能になる。
1.2.2 代数的に意味する「消す」操作
可換環でイデアルを考えるとき、「ある元をゼロとみなす」操作の抽象化として理解できる。たとえば \(f\in R\) からなるイデアル \((f)\) を割り算することは、多項式環では「方程式 \(f=0\) を満たす世界」での計算に移ることに対応する。具体的には、剰余類の同一性が「差がイデアルの元に属する」こと、すなわち「その差はゼロ扱いされる」ことを意味する。この対応により、解集合や不変量の議論が代数的に進められる。
2 イデアルの生成と例
2.1 生成イデアル
2.1.1 単一元で生成される場合
可換環 \(R\) で、\(a\in R\) によって作られるイデアルは \((a)\) と書かれ、定義は \(a\) の「環倍」全体である。可換環では \((a)=\{ra\mid r\in R\}\) が成り立ち、最小のイデアルとして特徴づけられる。言い換えると、\(a\) を含むあらゆるイデアルの共通部分が \((a)\) になり、これが最小性を示す。
2.1.2 複数元で生成される場合
複数の元 \(a_1,\dots,a_n\) に対しては \((a_1,\dots,a_n)\) を用い、これは各 \(a_i\) の線形結合（可換環なら環係数を掛けて足し合わせたもの）全体として書ける。すなわち \[ (a_1,\dots,a_n)=\left\{\sum_{i=1}^n r_i a_i\mid r_i\in R\right\}. \] 非可換環でも同様に左・右・両側の違いに応じて係数の置き方が整理されるが、可換環ではこの形が基本となる。
2.2 代表的な例
2.2.1 整数環における例
整数環 \(\mathbb{Z}\) ではイデアルは非常に分類が容易で、任意の非自明なイデアルは \((n)\) の形になる。ここで \((n)\) は \(n\mathbb{Z}\) と一致し、\(n\) の約数関係が包含関係に対応する。たとえば \((m)\subseteq(n)\) は \(n\) が \(m\) を割り切ることと同値になる。さらに素数 \(p\) に対して \((p)\) は素イデアルになり、\(\mathbb{Z}/(p)\) は体（有限体）を与える。
2.2.2 多項式環における例
体 \(k\) 上の多項式環 \(k[x]\) や \(k[x_1,\dots,x_n]\) では、イデアルは多項式方程式の集合を代数的に記述する枠組みを与える。たとえば \((f)\) は単一方程式 \(f=0\) を表し、\((f_1,\dots,f_m)\) は連立方程式系の「生成する条件」を表す。解がどう分岐するか、重根があるか、成分が分かれるかといった幾何的特徴が、素性・一次分解・冪の有無など、イデアルの内部構造として現れる。
2.2.3 行列環など非可算での例
行列環 \(M_n(R)\) のような非可換環では、イデアルの振る舞いが変わる。一般に、行列環は中心（たとえばスカラー倍）と関係が強く、両側イデアルは比較的単純になりやすい。特に、適切な条件の下で両側イデアルが自明（\(\{0\}\) または全体）に限られる場合があり、これは「行列が強い非可換性を持つ」ことの反映として理解される。こうした例は、左・右・両側の区別が単なる技術ではなく、構造の差として現れることを示す。
3 商環と対応定理
3.1 商環の構成
3.1.1 剰余類の演算
イデアル \(I\) に対し、商環 \(R/I\) は剰余類集合として定義される。要素は \(a+I=\{a+i\mid i\in I\}\) の形を取り、加法は \((a+I)+(b+I)=(a+b)+I\)、乗法は \((a+I)(b+I)=(ab)+I\) と定める。商演算が well-defined になるには、主に \(I\) が（両側）イデアルであることが重要になる。すなわち、代表元の取り替えが同じ剰余類を与えることが保証される。
3.1.2 構造の保持と変化
商環は \(R\) の性質を部分的に引き継ぎ、またイデアルの情報によって制約を受ける。たとえば、\(I\) に属する元は商で零元と同一視されるので、元の関係式は「その差が \(I\) で消える」形に整理される。さらに、可換性や環の多様な性質がどの程度残るかは、元の環と \(I\) の性質に依存する。一般に、構造の計算では \(R\) の代わりに \(R/I\) を使うことで、問題が局所的な制約へと圧縮される。
3.2 イデアルと準同型の関係
3.2.1 核としてのイデアル
環準同型 \(\varphi:R\to S\) を考えると、\(\ker\varphi=\{r\in R\mid \varphi(r)=0\}\) はイデアルになる。これは「同じ像を持つ元の差がどの範囲に属するか」を決める装置で、核が大きいほど情報が潰れる。逆に言えば、商環は「準同型で潰れる部分」を選び出すことで作られるため、イデアルは準同型と強く結び付く。
3.2.2 対応定理（基本形）
対応定理（第一対応定理）は、準同型 \(\varphi:R\to S\) に対し、核 \(\ker\varphi\) を含む \(R\) のイデアルと、\(\varphi\) による像側のイデアルの間に包含関係を保つ対応があることを述べる。具体的には、\(\ker\varphi\subseteq J\subseteq R\) を満たすイデアル \(J\) があるとき、商 \(J/\ker\varphi\) は \(\varphi\) の像（あるいは適切な部分）に対応し、逆方向にも戻せる。これにより「商によって何が失われ、何が対応するか」を体系的に追跡できる。
3.2.1 一対一・包含関係の対応
基本形の要点は、包含関係が一致する形で対応が張られる点にある。一方の集合に対し他方へ写す操作が全単射になり、しかも \(J_1\subseteq J_2\) が成り立つときに相手側のイデアルも同じ包含関係で並ぶ。この性質により、分解や極大性などの分類問題が「準同型のレンズ」を通して移送可能になる。
4 イデアルの分類と幾何への接続
4.1 素イデアルと極大イデアル
4.1.1 素性の判定条件
素イデアル \(P\) は、積の性質により特徴づけられる。可換環では、\(ab\in P\) ならば \(a\in P\) または \(b\in P\) が成り立つことが定義である。これは「\(P\) での零化が、因子分解のどちらか一方に必ず反映される」ことを意味し、後に素因子や幾何学的な既約成分の概念へとつながる。
4.1.2 極大性と商体
極大イデアル \(M\) は、零でないイデアルの中でそれを厳密に含むものが存在しないという意味で最大級の大きさを持つ。可換環では \(M\) が極大であることと、商環 \(R/M\) が体になることが同値である。したがって極大イデアルは「商したら解が一意に決まる」ような状況に対応し、直観的には点に近い役割を担う。
4.1.3 それらの包含関係
素イデアルと極大イデアルは階層を作る。一般に、極大イデアルは素イデアルでもある。さらに、素イデアルの中には極大へ向かって包含が成り立つ鎖があり、素性が分岐の種として働く。包含関係を読み取ることは、後続の一次分解や局所化の議論に直結する。
4.2 一次分解・分解可能性の考え方
4.2.1 主分解の概観
主分解は、あるイデアルをより基本的なイデアルの和・積として表そうとする方針である。素イデアルに関連する成分に還元することで、零化の挙動や冪の寄与を整理できる。すべての環とイデアルが単純に分解できるわけではないが、可換環論の枠内で条件を置くことで分解の存在や形が保証される。
4.2.2 べき（冪）を用いた分解
一次分解では、イデアルが「素イデアルの冪」に対応する成分として現れることが多い。たとえば \(Q\) を一次（一次イデアルと呼ばれるタイプの性質を持つもの）とし、イデアルの積として表現したり、あるいは交わりとして表示したりする形が取りうる。冪が現れるのは、根の重なりや多重度が、単に幾何的点の有無だけでなく、濃度のような情報として反映されるためである。
4.3 アルティン・デデキント様の性質（一般論として）
4.3.1 アーベル群的視点での有限性
アルティン・デデキント様の性質は、「極大連鎖」や「降下連鎖」が止まるという有限性の主張として捉えられる。イデアルの鎖は商や単純成分に結び付くため、結果として加群や剰余の構造が有限個の層に分かれる。具体的に、この種の条件が成り立つ環では、分解や分類が有限の手数で完了しやすい。
4.3.2 枝分かれする極大連鎖の考え方
極大イデアルを選んでいく操作は、しばしば「木の枝分かれ」のような構造を生む。鎖が無限に伸びないという有限性条件があると、ある深さ以降は必ず同じ段階へ収束し、分類の全体像を掴みやすくなる。この直観は、素の位置関係や局所的な成分の整理に影響する。
4.4 代数幾何との橋渡し（解集合の代数化）
4.4.1 多項式の消去と対応
多項式環上のイデアルは、方程式系の条件として理解できる。変数を増やすと自由度が増えるが、イデアルを追加することで制約が増える。消去の発想は、いくつかの変数に関する情報を他の変数側へ写し替えることで、解の記述を簡潔にする点にある。結果として、幾何学的な現象（解の現れ方）は代数的なイデアルの操作（和、積、商、局所化）へ対応づけられる。
4.4.2 幾何的直観（曲面・点のイメージ）
素イデアルに由来する成分は、幾何学では既約な部分集合に相当し、極大イデアルは点に対応しやすい。さらに、一次分解における冪の情報は、曲面が交わる際の接触や重なりを反映して、単なる「交わる／交わらない」より細かな形を与える。こうして代数的データは、曲面や交点のふるまいを再現する道具として機能する。