关于Gorenstein平坦覆盖几点注记.docVIP

关于Gorenstein平坦覆盖的几点注记 　　摘要： 文献［1］中Enochs证明了在右凝聚环上，任意模都有Gorenstein平坦覆盖和平坦模类的右正交类的包络。本文在一般环上讨论了任意模的平坦覆盖和包络的存在性问题。 　　关键词： Gorenstein平坦覆盖 包络 　　 　　1.基本概念 　　文中所有的环是有单位元的结合环，模是酉模。设χ是一个左-模类.在文献（2）中称φ：X→M为左R-模的?掊-覆盖，如果(1)X∈?掊，(2)对任意X′∈?掊和任意φ′：X′→M，都存在f：X→X使得φ′=φf，等价于Hom (X′，X)→Hom (X′，M)→0是正合的。(3)若有f：X→X使得φ=φf，则f是自同构的.如果只有（1）和（2）满足时，称X∈?掊为M的?掊-预覆盖。在文献［2］中称φ：X→M是特殊?掊-预覆盖。如果φ：X→M是满同态并且X∈?掊,Kerφ=K∈?掊 。对偶地可定义模的包络，预包络，特殊预包络。关于覆盖和包络已有大量的研究结果(见文献［1］，［2］，［3］)。 　　在文献［4］中，称模M是Gorenstein-平坦的，如果存一个完全的平坦分解F使得M≌Im(F →F )。其中完全平坦分解是指平坦模的正合列F：…→F →F →F →F →…并且对任意的内射模I有I?塥F是正合的。显然，平坦模是Gorenstein-平坦模。所有Gorenstein-