2006-05-24 松村「可換環論」§21. 完交環 book Noether 局所環 に対し, 証明に,完備局所環が正則局所環の準同型像になること(§29)を用いる. 等号が成立するとき, を完交環という. が完交環 ⇔ が完交環. Noether 局所環に対し,正則 ⇒ 完交 ⇒ Gorenstein ⇒ CM.