摘要

设n是整数,■是形式三角矩阵环,其中A,B是环,U是左B右A双模,BU是投射模,UA的平坦维数有限。证明了若左T-模■是n-Gorenstein投射模,则M1是(n-1)-Gorenstein投射左A-模,M2/Im(φM)是n-Gorenstein投射左B-模,并且φM:U?AM1→M2是单射。反过来,若M1是n-Gorenstein投射左A-模,M2/Im(φM)是n-Gorenstein投射左B-模,并且φM:U?AM1→M2是单射,则左T-模■是n-Gorenstein投射模。