摘要

设■是形式三角矩阵环,其中A,B是环,U是(B,A)-双模。证明了若T是左凝聚环,BU是有限表示的且■是Gorenstein FP-内射左T-模,则■是Gorenstein FP-内射左A-模,M2是Gorenstein FP-内射左B-模,且■是满同态;若T还是左GFPI-封闭环,则反之成立。