对一个Artinian代数A,p∞(A)表示所有有限投射维数的模构成的子范畴.A的有限投射维数定义为fin.dim(A)=sup{proj.dim(M)|M∈p∞(A)......