可換環論において、整閉整域(せいへいせいいき、: Integrally closed domain)とは、商体の中で整閉整域のことである。すなわち、整域 A の商体 K の元 x がモニックな多項式関係 を満たせば xA が導かれるとき、A を整閉整域という。

編集

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

性質編集

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

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

正規環編集

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

参考文献編集

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