复形的Y-Gorensetin内射维数

设Y是包含所有内射右R-模的模类.引入Y-Gorensetin内射复形,证明一个复行X是Y-Gorensetin内射复形当且仅当每个层次Xi是Y-Gorensetin内射模,研究复形的Y-Gorensetin内射维数,证明Y-Gid(C)=sup{YGid(Cm)|m∈Z}其中Y-Gid(C)表示Y-Gorensetin内射维数.     

RL型蕴涵与Fuzzy推理的三I算法

引入了RL型蕴涵与正则RL型蕴涵的概念，系统地讨论了基于RL型蕴涵的三I算法、三IMT算法及其还原性，得到了这些算法的一般表达式，指出基于正则RL型蕴涵的三I算法与三IMT算法的表达式具有对偶形式；证明了当P表示条件{B(y)|y∈Y}真包含{A(X)|X∈X}时，基于RL型蕴涵的三I算法为P-还原算法，当P表示条件{A(x)|x∈X}真包含{B(y)|y∈Y}时，基于RL型蕴涵的三IMT算法为P-还原算法．     

n-FI内射复形及其性质

将n-FI内射模推广到复形层面.首先,给出n-FI内射复形的定义;其次,证明复形C是n-FI内射复形当且仅当每个层次是n-FI内射模,且对任意FP-内射维数不超过n的复形X,复形Hom(X,C)正合;最后,利用复形的覆盖刻画n-FI内射复形.     

RL型蕴涵与Fuzzy推理的三Ⅰ算法

引入了RL型蕴涵与正则RL型蕴涵的概念,系统地讨论了基于RL型蕴涵的三Ⅰ算法、三I MT算法及其还原性,得到了这些算法的一般表达式,指出基于正则RL型蕴涵的三Ⅰ算法与三ⅠMT算法的表达式具有对偶形式;证明了当P表示条件{B(y)| y∈Y}(∩){A(x)| x∈X}时,基于RL型蕴涵的三I算法为P-还原算法,当P表示条件{A(x)| x∈X}(∩){B(y)| y∈Y}时,基于RL型蕴涵的三I MT算法为P-还原算法.     

关于X-Gorenstein投射模与Y-Gorenstein内射模的余挠对

证明了当X是一个可解预包络类且对任意的内射R-模I,X-pdR(I)∞,则(X-GP,(XGP)⊥)是一个遗传的余挠对,其中X-GP是X-Gorenstein投射模的类.对偶地,证明了若对任何投射R-模P,有Y-idR(P)∞,则(⊥(Y-GI),Y-GI)是一个遗传的余挠对,其中Y是一个余可解的预覆盖R-模类,Y-GI是Y-Gorenstein内射模的类.     

范畴X与G(X,Y,Z)的关系

范畴G(X,Y,Z)包含了Gorenstein投射模、Gorenstein内射模、强Gorenstein平坦模和Gorenstein FP-内射模等众多模类,其中范畴X具有举足轻重的作用.这是因为X是G(X,Y,Z)的生成子和余生成子.通过研究维数,证明当模M的G(X,Y,Z)-分解维数有限时,它有特殊的G(X,Y,Z)-预盖;当模M的X-分解维数有限时,M的G(X,Y,Z)-分解维数等于它的X-分解维数.     

相对Gorenstein导出函子

通过引入Abelian范畴A中X-Gorenstein投射对象与Y-Gorenstein内射对象的定义,讨论这两类对象的同调性质,并研究与这两类对象有关的导出函子Ext_(X-GP(A))~n(-,N)与Ext_(Y-GI(A))~n(M,-)之间的关系.     

△―内射模与拟―V模

给出了△-内射模与拟-V模的概念,刻画了它们的一些性质.证明了如下主要结果:①M为△-内射模,则对于S的任意极大左理想A≠ls(Imu),u∈△,作为广义S-系A△在S△中广义稠密.②N是△(M)-内射模当且仅当N是△(Mn)-内射模.③给出了u.dim(I(M))≤n的一个充分条件.④I(Mn)=1n⊕i=I(M)     

Δ―内射模与拟―V模

给出了Δ-内射模与拟-V模的概念,刻画了它们的一些性质. 证明了如下主要结果:①M为Δ-内射模,则对于S的任意极大左理想A ≠ ls (Imu), u∈Δ, 作为广义S-系AΔ在SΔ中广义稠密.②N是Δ(M)-内射模当且仅当N是Δ(Mn)-内射模.③给出了u.dim(I(M))≤ n的一个充分条件.④I(Mn) = ni=I(M)     

复形的Cartan-Eilenberg Gorenstein AC-同调维数

研究了Cartan-Eilenberg Gorenstein AC-内射(投射)复形的若干等价刻画。证明了复形G是Cartan-Eilenberg Gorenstein AC-内射(投射)复形当且仅当G具有Cartan-Eilenberg强完全内射(L完全投射)分解。并且研究了复形的Cartan-Eilenberg Gorenstein AC-内射(投射)维数。