n-余纯Gorenstein AC模

设R是环,n是固定非负整数,GJ_(n)(GF_(n))是Gorenstein AC内射(Gorenstein AC平坦)维数至多为n的左(右)R-模构成的类。称左(右)R-模M是n-余纯Gorenstein AC-内射模(n-余纯Gorenstein AC平坦模),若对任意的N∈GJ_(n),都有Ext_(R)^(1)(N,M)=0(Tor_(1)^(R)(M,N)=0)。证明了有限表现右R-模M是n-余纯Gorenstein AC平坦的当且仅当M是右R-模K的GF_(n)-预包络K→F的上核,其中F是平坦的。