整閉整域

可換環論において、整閉整域（せいへいせいいき、英: Integrally closed domain）とは、商体の中で整閉な整域のことである。すなわち、整域 A の商体 K の元 x がモニックな多項式関係 [math]x^n+a_{n-1}x^{n-1}+\cdots+a_0=0\;(a_i\in A)[/math] を満たせば x∈A が導かれるとき、A を整閉整域という。

• 可換環 ⊃ 整域 ⊃ 整閉整域 ⊃ 一意分解整域 ⊃ 単項イデアル整域 ⊃ ユークリッド整域 ⊃ 体

例

• 一意分解整域 (UFD) は整閉整域である。とくに、単項イデアル整域や UFD 上の多項式環も整閉整域である。
• デデキント整域は整閉整域である。
• 整閉整域でない例として、体 k 上の多項式環 k [t] の部分整域 k [t², t³] がある。これは k [X, Y]/(Y² − X³) と同型であり、平面代数曲線 Y² = X³ の原点における特異性が、整閉でないことと関係している。

性質

整域 A について次は同値：

• A は整閉
• 任意の素イデアルによる局所化は整閉
• 任意の極大イデアルによる局所化は整閉

正規環

任意の素イデアルによる局所化が整閉整域であるような環を正規環 (normal ring) と呼ぶ著者もいる（例えば、セール、グロタンディーク、松村）。

参考文献

• 堀田良之 『可換環と体』 岩波書店、2006年。ISBN 4-00-005198-9。
• 松村英之 『可換環論』 共立出版、東京、1980年。ISBN 4-320-01658-0。