范畴_R~M_S~M的复形及同调模

本文讨论了范畴RMSM中的复形与同调模,证明了下列结果:设OMM′→LL′→KK′→O是一个短正合列,则对任何RS一模AA′有长正合列O→HR(A,M)Hs(A′,M′)→HR(A,L)Hs(A′,L′)→H_R(A,K)Hs(A′,K′)→Ext′(AA′,LL′)→…→Ext~n(AA′,MM′),Ext~n(AA′,L)L′)→Ext~n(AA′,KK′)→…同时给出了AA′是投射RS-模的几个等价命题。