整閉整域

可換環論において、整閉整域（せいへいせいいき、）とは、商体の中で整閉な整域のことである。すなわち、整域 "A" の商体 "K" の元 "x" がモニックな多項式関係 formula_1 を満たせば "x"∈"A" が導かれるとき、"A" を整閉整域という。
性質.
整域 "A" について次は同値：
正規環.
任意の素イデアルによる局所化が整閉整域であるような環を正規環 () と呼ぶ著者もいる（例えば、セール、グロタンディーク、松村）。