主要证明了如下结果：诺特局部环（Ａ，ｍ）是Ｇｏｒｅｎｓｔｅｉｎ环当且仅当对其上任何非零有限生成模Ｍ，有ｉｎｊｄｉｍＭ＝ｐｒｏｊｄｉｍＭ＋ｄｅｐｔｈＭ，当且仅当对任何非零的深度为０的有限生成模Ｍ，有ｉｎｊｄｉｍＭ＝ｐｒｏｊｄｉｍＭ。给出了Ｇｏｒｅｎｓｔｅｉｎ整环的......