第5章デデキント環

前章で、 $\mathcal O_K$ では「数」の一意分解が壊れることを見ました。しかし、これから示すように「イデアル」の素イデアル分解は一意に成り立ちます。なぜ整数環でだけ、この奇跡が起きるのか。理由は $\mathcal O_K$ が持つたった三つの構造的な性質——ネーター・次元1・整閉——に集約されます。この三条件を満たす環をデデキント環と呼び、次章で「イデアルが素イデアルの積に一意分解する」ことの土台になります。この章では、三条件それぞれの意味と、 $\mathcal O_K$ がそれを満たす理由を掴みます。

デデキント環の定義：三つの条件

定義デデキント環

整域 $R$ （体でない）がデデキント環とは、次の三つを満たすこと：

ネーター的：イデアルの昇鎖 $I_1\subseteq I_2\subseteq\cdots$ は必ず止まる（各イデアルは有限生成）。
クルル次元が 1： $0$ でない素イデアルはすべて極大イデアル（素イデアルの鎖 $0\subsetneq\mathfrak p$ が最長）。
整閉：分数体 $K$ の元で $R$ 上整なものは、すべて $R$ に属する。

三条件はどれも可換環論・ホモロジー代数で登場した概念です。抽象的に見えますが、それぞれ「素イデアル分解を成功させるために欠かせない役割」を担っています。一つずつ、 $\mathcal O_K$ に即して意味を読み解きましょう。

条件1：ネーター的——分解が有限で止まる

ネーター的とは、イデアルの増大列が必ず有限で止まること（昇鎖条件）。同値な言い方で、すべてのイデアルが有限生成。これがなぜ要るか——素イデアル分解が有限回で終わることを保証するためです。もし分解が無限に続いてしまえば「素イデアルの積」という表示自体が意味を失う。 $\mathbb Z$ で「どんな数も有限個の素数の積」だったのと同じ有限性を、イデアルのレベルで支えるのがネーター性です。

$\mathcal O_K$ がネーター的なのは、前章までの構造からすぐ出ます。 $\mathcal O_K$ は階数 $n$ の自由 $\mathbb Z$ 加群（第2章）だったので、そのイデアルも $\mathbb Z$ 加群として $\mathcal O_K$ の部分加群、すなわち高々 $n$ 個で生成される有限生成加群。ゆえに有限生成イデアルばかりで、ネーター的です。

条件2：クルル次元1——「素イデアル＝点」で階層が単純

クルル次元が 1 とは、 $0$ でない素イデアルがすべて極大であること。素イデアルの鎖 $0\subsetneq\mathfrak p$ がこれ以上伸びない、という条件です。可換環論の言葉で「素イデアルの成す階層が一段しかない」。これがなぜ要るか——素イデアルが分解の最小単位（それ以上分けられない“素”）としてきれいに働くためです。次元が $2$ 以上だと素イデアルに階層ができ、「どのレベルで分解するか」が曖昧になる。

$\mathcal O_K$ が次元 $1$ なのは、 $\mathbb Z$ が次元 $1$ （ $0\subsetneq(p)$ が最長）であることの遺伝です。 $\mathcal O_K$ は $\mathbb Z$ 上整な拡大（第1章、 $\mathcal O_K$ の元はモニック整数係数関係を満たす）で、整拡大は次元を保つ（上昇定理、可換環論）。だから $\mathcal O_K$ も次元 $1$ 。 $\mathcal O_K$ の $0$ でない素イデアルは、 $\mathbb Z$ の $(p)$ の“上に乗る”極大イデアルばかりです。

条件3：整閉——半端な分数を許さない

整閉とは、分数体 $K$ の元 $\alpha$ が $R$ 上整（モニック整数係数ならぬ「モニック $R$ 係数」の関係を満たす）なら、必ず $\alpha\in R$ であること。「 $R$ の外に、整なのに $R$ に入っていない半端者がいない」。これがなぜ要るか——整閉でないと、素イデアル分解の一意性が壊れる反例が作れてしまうからです。整閉性は、環に“穴”や “尖り”がない（正則性に近い）ことを意味します。

$\mathcal O_K$ が整閉なのは、その定義そのものから出ます。 $\mathcal O_K=\overline{\mathbb Z}\cap K$ は「 $K$ の中の代数的整数（＝ $\mathbb Z$ 上整な元）の全体」。 $K$ の元で整なものはすべて代数的整数なので、定義により $\mathcal O_K$ に入る。整数環は「整なものを全部集めた」から、当然に整閉——第2章で $\mathbb Z[\sqrt5]$ でなく $\mathbb Z[\frac{1+\sqrt5}{2}]$ を整数環にしたのは、まさに整閉にするためでした（ $\frac{1+\sqrt5}{2}$ という整な半端者を取り込む）。

核心：整数環はデデキント環

三条件をまとめます。

定理整数環はデデキント環

任意の数体 $K$ の整数環 $\mathcal O_K$ はデデキント環である（ネーター的・クルル次元 1・整閉）。

証明

ネーター的： $\mathcal O_K$ は階数 $n$ の自由 $\mathbb Z$ 加群（第2章）ゆえイデアルは有限生成。 次元 1： $\mathcal O_K$ は $\mathbb Z$ 上整拡大で、上昇定理により $\dim\mathcal O_K=\dim\mathbb Z=1$ 。整閉： $\mathcal O_K=\overline{\mathbb Z}\cap K$ は $K$ 内の整な元をすべて含むので、定義から整閉。三条件が満たされ、 $\mathcal O_K$ はデデキント環。

この定理が次章の扉を開きます。「デデキント環ではイデアルが素イデアルの積に一意分解する」——これは可換環論の一般定理で、 $\mathcal O_K$ がデデキント環だと分かった以上、整数環にそのまま適用できる。第4章で壊れた一意性が、 イデアルのレベルで、しかも完全に一般的な理由から蘇るのです。

注意どの条件が何を守るか

ネーター：分解が有限個で止まることを保証（ $\mathbb Z$ の「有限個の素数の積」の類似）。
次元 1：素イデアルが分解の最小単位として働く（階層がないので“素”が一意に定まる）。
整閉：一意性を壊す半端者を排除（反例封じ）。三つが揃って初めて、イデアルの素分解の存在と一意性が両立する。どれか一つ欠けても破綻する。

注意つまずきポイント

デデキント環でも“数”の一意分解は壊れたまま。回復するのは「イデアル」の分解。第4章の $2$ は依然として素でない既約元。イデアル $(2)=\mathfrak p_1^2$ に上がって初めて素分解が効く。
PID はデデキント環の特別な場合。PID（ $\mathbb Z$ など）は「イデアルが単項＝数で代用できる」デデキント環。一般の $\mathcal O_K$ は PID とは限らず、そのズレが第8章の類群。
三条件は独立。たとえば $\mathbb Z[\sqrt{-3}]$ （整閉でない、正しい整数環は $\mathbb Z[\frac{1+\sqrt{-3}}{2}]$ ）は整閉性が崩れ、素分解の一意性も壊れる。整閉が効いていることの反面教師。

この章のまとめ

デデキント環＝ネーター的・クルル次元 1・整閉の整域。それぞれ「分解が有限で止まる」「素イデアルが最小単位」「半端者を排除」を担う。
整数環 $\mathcal O_K$ はデデキント環：ネーター（自由 $\mathbb Z$ 加群）、次元 1（ $\mathbb Z$ 上整・上昇定理）、整閉（整な元を全部含む定義）。
この事実により、次章で「イデアルの素イデアル分解の一意性」が一般定理として $\mathcal O_K$ に適用でき、第4章で壊れた一意性がイデアルのレベルで蘇る。

次章は、いよいよ救済の本体——デデキント環でイデアルが素イデアルの積に一意分解することを示し、第4章の $6$ の二つの分解が同じ素イデアル分解に収束する様子を、装置とともに確かめます。