拉回环确定的模范畴

证明Gt(M)AnnN(It),Ft(Nt)AnnNt(I3-t),Pt(M)M/ItM,Qt(Nt)Nt/I3-tNt进一步得到自然等价η:F2G2→F1G1,:θQ1P1→Q2P2,进而得到范畴等价W M,接着讨论拉回环构造模范畴.

拉回图中的函子

设R1,R2,R′是三个环,j1:R1→R′和j2:R2→R′是环的同态,如果环R是j1,j2作为环的拉回,则称R是环R1和R2通过环R′的拉回环.首先证明拉回环R上的模范畴与以R1-模及R2-模为对象构造的一类范畴之间存在一对伴随对函子,其次给出模n剩余类环上的应用,证明了在模n剩余类环上这样的函子伴随对具有拟逆关系.