(m,n)-投射模和(m,n)-内射模

设R是任给的环,m 和n 都是正整数。右 R 模 NR是(m,n)-内射 模,若 对 Rm的 任 给的n-生 成子 模 K,则 有Ext1R(Rm/K,N)=0。右R 模MR是(m,n)-投射模,若对任给的(m,n)-内射模 N,有Ext1R(M,N)=0。当m=1,n是任给的正整数时,(m,n)-投射模就是f-投射模。任给的(m,n)-表现模都是(m,n)-投射模。设F-(m,n)-proj表示由所有的(m,n)-投射模所组成的模集,F-(m,n)-inj表示由所有的(m,n)-内射模所组成的模集。本文给出了(m,n)-投射模的刻画,同时证明了(F-(m,n)-proj,F-(m,n)-inj)是一余挠理论,且每一个R-模都有一个特殊的(m,n)-内射预包络和一个特殊的(m,n)-投射预覆盖。还给出了(m,n)-投射模和(m,n)-内射模的相关的性质。
     

强n-Ding投射,强n-Ding内射和强n-Ding平坦模

引入强n-Ding投射,强n-Ding内射和强n-Ding平坦模等概念,研究它们的一些性质和等价刻划.最后我们讨论强n-Ding模之间及与强n-Gorenstein模间的关系.     

关于Gorenstein投射复形的进一步研究

Enochs E和Garcia Rozas J R在"Gorenstein Injective and Projective Complexes"一文中证明了在n-Gorenstein环R上,若左R-模复形C为Gorenstein投射复形当且仅当它的每一项左R-模Cm为Gorenstein投射模。弱化了此结论的必要性条件,得到在任意环R上,若左R-模复形C为Gorenstein投射复形,则它的每一项左R-模Cm为Gorenstein投射模。并且最后给出Gorenstein投射复形C与任意投射复形上合冲L的关系,即Exti(C,L)=0。     

(n,d)-投射模与m-(n,d)-投射模

设R是环,n,m,d是非负整数,其中m或者为∞.右R-模M称为m-(n,d)-投射的,如果对任意的右R-模N且(n,d)-id(N)≤m,有Ext1R(M,N)=0.研究了(n,d)-投射模及m-(n,d)-投射模的一些性质.     

余纯投射维数换环定理

设R是环, cpD(R)表示R的余纯投射维数. 基于cpD(R)的性质, 给出该维数的换环定理.     

幂级数环上模的同调维数

主要研究了幂级数环R[[X]]与环R上的模的平坦性与内射性之间的关系．证明了当R是一个完全凝聚交换环时,如果M是一个内射或平坦R[X]-模,则M是一个内射或平坦R-模;如果M是一个平坦R-模,则R[X]×RM是一个平坦尺[x]-模,设M是一个R[x]-模。如果M是R内射的,则HomR（R[X],M）是内射R[X]-模．我们证明了idR（M）=IdR[[x]]/f（x））（HornR（R[[X]]／（f（x））,M））,fdR（M）=fdR[[X]]/f（x））（R[[x]]／f（x））×RM．）．     

GorensteinFP-投射模

介绍了Gorenstein FP-投射模。给出了Gorenstein FP-投射模的一些性质并对其进行了扩展。     

Gorenstein投射模的特征模

本文研究Gorenstein投射模的特征模,给出了右凝聚环是左完全的一些等价刻划,得到了Gorenstein投射模类是预包类的一个充分必要条件.     

关于C-内射模的研究

给出了C-内射模的定义,它是特殊的P-内射模.证明了C-内射模的一些等价命题,揭示了C-内射模与P-投射模的对偶性.     

Morita 系统环上的自由模

利用Morita系统环上的（右）模的分解,研究其上的自由模,并利用所得的结果刻画形式三角矩阵环上的自由莫模与投射模,对于Morita系统环T](RNMS)（θφ）,每个T－模可以分解为一个四元素对（P,Q）（f,g）,记P^-R＝P／Imf,Q^-s=Q/Tmg,R^-=R/Tmθ,S^-=S/1mψ,且设Λ为任意非空集合,主要结果有：1）若（P,Q）(f,g)≌T^（Λ）,则P^-R^-≌R^-(Λ）,Q^-S^-≌S^-（Λ）．2）若1p与Rθ的张量积＝0且1Q与Sψ的张量积＝0,则{（pλ,qλ)｜λ∈λ}是（P,Q）(f,g）的一组自由基当且仅当下列条件①和②成立：①{p^-λ｜λ∈Λ}和{q^-λ｜λ∈Λ}分别为P^-R^-和Q^-S^-的自由基,且{pλ｜λ∈Λ}是R－线性无关的,{qλ｜∈Λ}是S－线性无关的;②f(∑（qλ与nλ的张量积））＝0蕴涵nλ＝0,且g（∑λ（pλ与mλ的张量只））＝0蕴涵mλ＝0（对于任意的nλ∈N,mλ∈,λ∈Λ）．3）当M＝0时,（P,Q）（f,g）≌T（Λ）当且仅当P^-R^-≌R^(Λ）,Q^-s^-≌S^-(Λ)且f为单同态。