有限生成G-投射模的张量积

设R是交换环,M,E,N是R-模.称M为超G-余模,是指存在正合列0→M→G0→G1→…→Gm→…,其中每一Gi是超有限表现Gorenstein投射模;称E为GP-内射模,是指对任何超G-余模M,有Ext1R(M,E)=0.用GP-idRN≤n表示对任何超G-余模M,有Extn+1R(M,N)=0.证明了若GP-idRR<∞,A,B是超有限表现G-投射模,且对任何i>0,ExtiR(A,B*)=0,则ARB是超有限表现G-投射模.