【第4節】代数学における商：環とイデアルのミステリー

【第4節】代数学における商：環とイデアルのミステリー

幾何学の世界では、「糊代」を指定すれば自由に空間を貼り合わせることができた（プッシュアウト）。 しかし、代数学の世界では事情が異なる。構造（足し算や掛け算）を壊さないように商をとるには、非常に厳しい制約条件をクリアしなければならない。 その制約の象徴が、環論における**「イデアル（Ideal）」**である。

環の商を作りたい

可換環 $R$ （例えば整数環 $\mathbb{Z}$ や多項式環 $k[x]$）を考える。 ここから商集合 $R/S$ を作り、そこに再び環の構造（和と積）を入れたい。 和については、群論の知識から「正規部分群」で割ればよいことが分かっている。環は加法についてはアーベル群なので、任意の部分加法群で割れば、和の構造 $R/S$ は自然に定義できる。 問題は**「積（掛け算）」**である。

商集合 $R/S$ の元は、剰余類 $a+S$ の形をしている。 積を自然に定義したいなら、代表元同士の積をとって、 $(a+S)\cdot (b+S)=ab+S$ としたい。これがwell-defined（代表元の選び方によらず定まる）であるためには、どのような条件が必要だろうか？

「吸い込み」条件の導出

$a+S$ の代表元を $a$ から $a+s$ （ただし $s\in S$）に変えてみよう。 積の結果は $(a+s)b=ab+sb$ となる。 これが元の結果 $ab+S$ と同じクラスに入るためには、ズレの分である $sb$ が $S$ に入っていなければならない。 $sb\in S$ 同様に、後ろ側を変えた $(a)(b+s^{\prime })=ab+a{s}^{\prime }$ についても、ズレ $a{s}^{\prime }$ が $S$ に入る必要がある。 $a{s}^{\prime }\in S$

つまり、商をとるための部分集合 $S$ は、単に部分環である（和と積で閉じている）だけでは不十分で、「外部の元 $r\in R$ を掛けても、なお $S$ の中に留まる（吸い込まれる）」という強力な性質を持っていなければならない。 $\forall r\in R,\forall s\in S⟹rs\in S$ これこそがイデアルの定義である。

イデアルの歴史的語源と圏論的再定義

「イデアル」という名前は、クンマーがフェルマーの最終定理に取り組む中で考案した「理想数（Ideal number）」に由来する。 しかし、圏論的な視点（構造保存の視点）から見れば、イデアルとは「理想的な数」というよりも、「商を作るための核（Kernel）となる資格を持つ部分集合」と呼ぶべきものである。 圏論においては、「商対象（全射）」と「核（等化子）」は双対的な関係にある。 環の圏 Ring において、準同型 $f:R\to R^{\prime }$ の核 $\text{Ker}(f)=\{x\in R\mid f(x)=0\}$ は、必ずイデアルになる。 逆に、任意のイデアル $I$ は、自然な商写像 $R\to R/I$ の核となる。 つまり、「イデアル」とは「環の圏における核（Kernel）」の別名に過ぎないのだ。

---

【第5節】合同関係（Congruence）とイデアルの必然性

では、なぜ「イデアル」という非対称な条件（掛け算だけ吸い込む）が出てくるのか？ その謎を解く鍵は、イデアルそのものではなく、その背後にある**「合同関係（Congruence Relation）」**にある。

圏論における合同関係

一般の圏（特に代数的な圏）において、対象 $A$ 上に商構造を入れたいとき、我々が本当に必要とするのはイデアルではなく、以下の条件を満たす同値関係 $\sim$ である。

【合同関係の定義】 関係 $\sim$ が演算と両立する（合同関係である）とは、 $a\sim a^{\prime }\wedge b\sim b^{\prime }⟹(a\circ b)\sim (a^{\prime }\circ b^{\prime })$ が成り立つことである。 （$\circ$ はその代数系のすべての演算。足し算、掛け算など）

圏論的には、これは直積 $A\times A$ の部分対象 $R$ としての同値関係が、代数構造（演算射）の部分代数になっていることを意味する。

イデアルと合同関係の1対1対応

環の場合、この合同関係 $\sim$ とイデアル $I$ の間には、美しい1対1対応がある。

1. イデアル $I$ があれば、$a\sim b⟺a-b\in I$ で合同関係が作れる。
2. 合同関係 $\sim$ があれば、$I=\{x\in R\mid x\sim 0\}$ （0のクラス）をとると、これはイデアルになる。

この対応が成り立つのは、環が「加法群（引き算ができる構造）」を持っているおかげである。 引き算ができるからこそ、「$a$ と $b$ の関係（二項関係）」を「$a-b$ が $0$ に近いかどうか（一つの集合への所属）」に還元できるのだ。

イデアルが使えない世界（半群・半環）

もし引き算ができない世界、例えば**「半群（Semigroup）」や「半環（Semiring, 自然数 $\mathbb{N}$ など）」**を考えると、この魔法は解ける。 半群では $a\sim b$ を $a{b}^{-1}\in H$ のように還元できない（逆元がないから）。 したがって、半群や半環の商を考えるときは、イデアル（部分集合）で割ることはできず、合同関係（$A\times A$ の部分集合）そのものを指定して割らなければならない。

• 群・環・加群: 構造が「引き算」を許容するため、商の情報は「核（イデアル）」という小さな部分集合に圧縮できる。
• 半群・半環・一般の圏: 構造が弱いため、商の情報は「合同関係」という大きな関係集合として保持しなければならない。

我々が「イデアルで割る」ことに慣れすぎているのは、我々が扱う代数系（群、環、ベクトル空間）がたまたま「行儀の良い（引き算ができる）」圏だったからに過ぎない。 圏論は、この「行儀の良さ」のベールを剥がし、商の本質が「部分集合（イデアル）」ではなく「関係性（合同関係）」にあることを暴露する。

商をとるとは「関係を導入する」こと

代数学における商の実践的意味をまとめよう。 多項式環 $\mathbb{R}[x]$ をイデアル $⟨x^2+1⟩$ で割って複素数 $\mathbb{C}$ を作る操作。 これは、「$x^2+1$ という多項式を $0$ とみなせ（イデアル）」と言っているのではない。 真の意味は、「$x^2$ と $-1$ を交換可能（合同）とみなせ」という新しいルール（関係）を導入しているのである。 $x^2\equiv -1$ 商をとるとは、自由な世界（多項式環）に、束縛（関係式）を与えて、現実の世界（複素数体）を構築する創造的行為である。 第5章で見た「自由と忘却の随伴」が、ここでも静かに微笑んでいる。

---

続く論点（第三部）

【第6節】スペクトル（Spectrum） —— 環の商が空間の部分になる時 【第7節】完全列とホモロジー代数 —— 「商の連鎖」で測る形状

第三部では、代数幾何学の基本概念であるスペクトルを導入し、「環の商をとる」ことが「空間（スペクトル）の部分空間をとる」ことに対応する、という美しい双対性を解説します。そして最後に、ホモロジー代数における商の役割を論じ、本書の実践編を締めくくります。

続けて第三部を出力してよろしいでしょうか？