设R是任何环,模D称为P∞-内射模,是指对任何投射维数有限的模P,有ExtR^1（P,D）=0.证明了（P∞,D∞）构成一个余挠理论当且仅当l.FPD（R）〈∞,......