设R为任意环,M为一个幂零R-双模,TR(M)为相应的张量环。假设对任意■,其中P为投射R-模,G为Gorenstein投射R-模。证明一个TR(M)-模(X,u)如果满足u是单同态并且u的余核是Gorenstein投射R-模,则(X,u)是Gorenstein投射TR(M)-模。