设环A 是环B 的扩张环, 即B 是与A 有相同单位的A 的子环. 记P (A, B) 是由所有相对投射模构成
的范畴. 对于扩张B→ A, 本文介绍相对Gorenstein 投射模的概念. 由于Gorenstein …