凡擬優環皆為永田環,所以代數幾何中處理的環幾乎都是永田環。是諾特整環而非永田環的例子首先由秋月康夫於1935年給出。
基本介紹
簡介,整環,諾特環,
簡介
設R是一個諾特環,如果對 R 的任意素理想p ,整環 R/p 具有性質:對 R/p 的商域的任意有限擴域 K ,R/p 在 K 中的整閉包都是有限生成的 R/p 模,則稱 R是永田環。當 R 是永田環時,R 的局部化環和有限 R 代數也是永田環。
完備的諾特局部環是永田環。
整環
A被稱作N-1 環,若且唯若其在分式域K中的整閉包是有限A-模。A被稱作N-2 環(或日本環,以紀念日本學派在此領域之貢獻),若且唯若對任何有限擴張L/K,A在L中的整閉包是有限A-模。A被稱作泛日本環,若且唯若A上任何有限生成的整環都是日本環。 一個泛日本環A被稱作永田環(或擬幾何環),若且唯若A也是諾特環時。 註:一個代數簇的局部環或其完備化稱作幾何環,但此概念並不流行。