第4章 素イデアルと極大イデアル

「素数」を、イデアルの言葉に翻訳する

整数の世界で最も基本的な概念は素数でした。素数 $p$ の特徴は「$p\mid ab$ なら $p\mid a$ または $p\mid b$」。 この性質を、イデアルの言葉（$ab\in(p)$ なら $a\in(p)$ または $b\in(p)$）に翻訳したものが素イデアルです。 一般の環では「素元」より「素イデアル」のほうが扱いやすく、素数の役割を担います。

さらに、イデアルの包含関係で「これ以上大きくできない」極限が極大イデアル。この2種類のイデアルは、 剰余環を通じて第1章の整域・体と完璧に対応します——素イデアルで割ると整域、極大イデアルで割ると体。 第1章で「$\mathbb Z_n$ が体 $\iff n$ 素数」と見た現象の、一般的な正体がこれです。素イデアル全体は 代数幾何で「図形の点」に対応し、環と幾何を結ぶ橋になります。この章は環論の心臓部です。

素イデアルで割ると整域、極大イデアルで割ると体（極大 ⇒ 素）。素数の役割をイデアルが担う。

素イデアル

$\mathbb Z$ では、素イデアルは $(p)$（$p$ 素数）と $(0)$（$\mathbb Z/(0)=\mathbb Z$ が整域）です。「素数のイデアル」と「零イデアル」が 素イデアル——素数概念のイデアル版になっています。

極大イデアル

証明の鍵は対応定理です。「$M$ と $R$ の間にイデアルが無い」が「$R/M$ にイデアルが無い＝体」に翻訳される。 整域より体のほうが強い（体 ⊂ 整域）ことから、次が従います。

逆が成り立たない例：$\mathbb Z$ で $(0)$ は素（$\mathbb Z$ は整域）だが極大でない（$(0)\subsetneq(2)\subsetneq\mathbb Z$）。 $\mathbb Z$ では $(p)$ が極大（$\mathbb Z/(p)=\mathbb F_p$ が体）で $(0)$ が素だが非極大——素と極大の差がここに出ます。 下で $\mathbb Z_n$ を見ると、$n$ が素数のとき（$(n)$ が極大）だけ体になり、合成数のときは零因子（整域ですらない）が出ます。

極大イデアルの存在

「極大イデアルは本当にあるのか？」——選択公理（ツォルンの補題）が保証します。

証明は群論の基底の存在や線形代数と同じ「ツォルンで極大元」の型です。 和 $\bigcup I_\alpha$ が $1$ を含まない（真のまま）ことが上界の存在を保証する要点。存在は言えても、 具体的にどれが極大かは選択公理ゆえ構成的には見えないこともあります。

素スペクトル

素イデアルの全体は、環に「幾何」を与えます。

$\operatorname{Spec}(\mathbb Z)$ は「各素数 $p$ に対応する点 $(p)$ と、生成点 $(0)$」からなります。素イデアルを「点」とみなすこの視点が、 グロタンディークのスキーム（代数幾何）の出発点です。環は幾何的対象（その素スペクトル）でもある—— 「$R/M$ が体＝点での関数の値」「$V(I)$＝方程式 $I$ の零点集合」という辞書で、代数と幾何が完全に対応します。 代数幾何・可換環論への扉がここで開きます。

つまずきポイント

この章のまとめ

• 素イデアル（$ab\in P\Rightarrow a\in P$ or $b\in P$）は $R/P$ が整域と同値、極大イデアル（間にイデアルなし）は $R/M$ が体と同値（対応定理から）。極大 ⇒ 素（逆は偽）。
• $\mathbb Z$ では $(p)$ が極大、$(0)$ が素で非極大。クルルの定理：任意の真のイデアルは極大イデアルに含まれる（ツォルンの補題）。
• 素イデアル全体 $\operatorname{Spec}(R)$（ザリスキ位相）が環に幾何を与え、代数幾何・スキームの出発点になる。

次章は、互いに素なイデアルで環を分解する——中国剰余定理を扱います。