可換環論において、整閉整域(せいへいせいいき、英: Integrally closed domain)とは、商体の中で整閉な整域のことである。すなわち、整域 A の商体 K の元 x がモニックな多項式関係 x n + a n − 1 x n − 1 + ⋯ + a 0 = 0 ( a i ∈ A ) {\displaystyle x^{n}+a_{n-1}x^{n-1}+\cdots +a_{0}=0\;(a_{i}\in A)} を満たせば x ∈ A が導かれるとき、A を整閉整域という。可換環 ⊃ 整域 ⊃ 整閉整域
⊃ 一意分解環 ⊃ 単項イデアル整域 ⊃ ユークリッド環 ⊃ 体 ⊃ 有限体整域 A について次は同値: 任意の素イデアルによる局所化が整閉整域であるような環を正規環 (normal ring) と呼ぶ著者もいる(例えば、セール、グロタンディーク、松村)。
A は整閉
任意の素イデアルによる局所化は整閉
任意の極大イデアルによる局所化は整閉
正規環
参考文献
堀田良之『可換環と体』岩波書店、2006年。.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 4-00-005198-9。
松村英之『可換環論』共立出版、東京、1980年。ISBN 4-320-01658-0。