2006-05-21 松村「可換環論」§18. Gorenstein 環 book 入射次元有限の Noether 局所環を Gorenstein 環という. このとき,入射次元=次元. 正則局所環 ⇒ Gorenstein 環 ⇒ CM 環.