相对整体维数有限的扩张

代数的扩张是指两个代数之间保持单位元的同态映射,设f:B→A是代数的扩张,扩张f的相对整体维数是指所有A-模的相对投射维数的上确界.我们给出了扩张的相对整体维数有限的一个充分必要条件,作为应用,还获得了Hochschild的文[Relative homological algebra, Trans. Am. Math. Soc.,1956,82:246-269]中一个结果的简洁证明.

相对Gorenstein投射模（英文）

设环A是环B的扩张环,即B是与A有相同单位的A的子环.记P(A,B)是由所有相对投射模构成的范畴.对于扩张B→A,本文介绍相对Gorenstein投射模的概念.由于Gorenstein投射模与投射模具有紧密的联系,并且关于Gorenstein维数有较好的性质,本文想给出相对Gorenstein投射模和相对投射模之间类似的关系.本文主要结果是:(1)设B→A是具有相同单位的环的扩张,则由所有相对Gorenstein投射模构成的范畴是相对可解的.(2)设B→A是具有相同单位的环的扩张,若gl.dim(A,B)≤n,则每一个相对Gorenstein投射模都是相对投射的,其中gl.dim(A,B)表示所有A-模的相对投射维数的上确界.