拉回环上导出范畴的伴随函子

设R_1,R_2,R'是3个有单位元的结合环,环R是环同态j_1:R_1→R'和j_2:R_2→R'的拉回环.首先引入了左R_1-模复形范畴与左R_2-模复形范畴的积范畴的一个子范畴C(T),利用拉回函子方法构造了一个加法函子P:C(T)→C(R-Mod),以及S:C(R-Mod)→C(T),证明了(S,P)是一对伴随对函子.其次,在此基础上,研究了相应的左导出范畴,也得到相应左导出范畴之间的伴随对函子.最后通过一个例子说明在同伦范畴上没有相应的伴随对函子.     

GLS-代数的奇点范畴

设H是GLS-代数,D_(sg)(mod~Z H)是其有限维Z-分次H-模的奇点范畴。本文证明了D_(sg)(mod~Z H)存在倾斜对象,从而D_(sg)(mod~Z H)三角等价于某个代数投射模的有界同伦范畴。     

M-纤维式同伦扩张及其应用

着重研究了M-纤维式范畴中的同伦论相关概念, 即M-纤维式同伦扩张性质. 通过M-纤维式收缩以及M-纤维式形变收缩的概念，给出了M-纤维式同伦扩张性质的等价描述，从而推广了一般拓扑范畴中同伦扩张性质的相关等价描述. 另外，证明了在M-纤维式范畴中的一些空间构造，如M-纤维式贴附空间的同伦不变形性. 最后, 对于2个M-纤维式映射是否同伦等价的问题，通过M-纤维式映射柱的概念给出了相关的判定定理，这一判定是一般拓扑范畴中两映射是否同伦等价的判定的自然推广.     

半群分次范畴的Smash积

设S为有单位元1的可消半群,引入半群S-分次范畴的Smash积的概念,分别证明半群S-分次范畴C的Smash积C#S的商范畴(C#S)/S与范畴C同构,以及自由半群S-范畴B的商范畴B/S的Smash积范畴(B/S)#S与范畴B同构.从而说明半群分次范畴的Smash积与自由半群作用范畴的商在半群分次范畴和自由半群作用范畴之间是互逆的结构.     

关于覆叠同伦正则态射

目的在点标道路连通CW空间的同伦范畴中,引进覆叠同伦正则态射的概念,研究它存在的条件、性质以及它与覆叠同伦单(满)态和覆叠同伦等价之间的关系。方法利用万有覆叠函子,将映射f:X→Y的研究转化为对它在万有覆叠空间上诱导的映射f~:~X(0)→~Y(0)进行研究。结果推广了同胚映射、同伦等价和同伦正则态射的有关结果。结论若f为同伦正则态射,则f必为覆叠同伦正则态射;若f为覆叠同伦正则态射,则f不一定是同伦正则态射。     

同纬映象函子与同伦正则态射

利用同纬映象函子定义稳定同伦正则态射, 并研究了稳定同伦正则态射存在的条件及性质, 得到如下结果： 若态射f: X→Y有稳定同伦标准分解 (g,Z,h), 设有A,B及相应的态射i: A→X与p: Y→B, 使得gi和ph是稳定同伦等价的, 则f: X→Y必为稳定同伦正则态射, 且在k稳定同伦意义下惟一.     

关于同伦正则态射与覆叠空间

在点标道路连通CW空间的同伦范畴(HCW*)中,利用覆叠函子得出:若f:X→Y是同伦正则态射,且f#:π1X→π1Y是满态射,则对π1Y的任一正规子群H,升腾映射■:(f#-1(H))→(H)也是同伦正则态射     

拉回正合范畴中两个态射合成的核与余像

在Abelian范畴中,如果f:A→B和g:B→C是两个态射,则存在(1)Im f∩Ker g=f(Ker gf);(2)Im f+Ker g=g-1(Im gf).虽然在拉回正合范畴(C,E)中一般没有像的概念,但也有与(1)(2)性质相类似的结论,这就是Ker f→Ker gf→Ker g×BCoim f和Ker g→Ker gЦDCoim f→Coim gf均为E-短正合列,其中D=Ker g×BCoim gf.     

同伦范畴中recollement的建立

证明了在相对情形下上有界复形的同伦分解的存在性,是对经典复形的同伦分解的推广.建立了同伦范畴K(A)和相对导出范畴DX(A)的左recollement.证明了dg X和DX(A)是三角等价的,其中X是A的反变有限的容许子范畴.     

一类既为右本原又为左本原的加法范畴

在环论中,Bergman给出了右本原环不是左本原环的例子。由于加法范畴的一部分结构是环,所以,在一般情况下,右本原加法范畴并不是左本原加法范畴.由[1]知如果R是有极小单侧理想的环,则R是右本原环当且仅当R为左本原环。这一结果并不能完全平行地推广到加法范畴中,下面我们进行讨论。若A为加法范畴,记A=_αA_β,其中∑为加法范畴A的对象类,A_β表示Hom(α,β),α,β∈∑,有(Hom(α,β),+,_(?)0)为Abel群,而(Hom(α·α),+,·_α0,_α1)为一个环。有关加法范畴的左右理想,子范畴,本原加法范畴等定义见[2]。引理1 设A=_αA_β为右本原加法范畴,B=_αB_β为A的非零右理想,C=_αC_β为A一个非零子范畴,则B·C有意义且B·C≠0。     

表示成涵子范畴的模糊范畴

利用模糊集的范畴Ｆｕｚ，分别给出了四个范畴Ｆｕｚ２，ＦｕＺ→，Ｍ－Ｆｕｚ，ＦＢｎ（Ｉ），并证明了它们均可以表示成从某个小范畴（Ｓｍａｌｌｃａｔｅｇｏｒｙ）到范畴Ｆｕｚ的涵子范畴（Ｆｕｎｃｔｏｒｃａｔｅｇｏｒｙ）．     

一类泛连通的无爪图

本文证明了:如果G是3连通的无爪图且G的每个导出子图A,A~(?)都满足ψ(a_1,a_2)则G是泛连通图(除了当u,v∈V(G),d(u,v)=1时,G中可能不存在(u,v)—k路,k∈(2,3,4)以外)     

模范畴中的左拟相伴函子对

令A和B是有单位元的结合环,考虑双模Λ∈BMA、X∈AMB和函子F=ΛA-:AM→BM,G=X B-:BM→AM.研究了模范畴中函子的左拟相伴函子,给出了F是G的左拟相伴函子的几个等价条件.     

无K_3图的Hamilton性

本文证明了:如果G是2连通图,且G不含同构于K_3,P_4~+,D的导出子图,则G是Hamilton图或奇数阶完全二部图.     

赋值模范畴Fm中的张量函子

引入了一类赋值模范畴Ｆｍ及赋值横模的张量积概念,并进一步找到张量函子在Ｆｍ中存在的条件,最后讨论了Ｈｏｍ模和张量模之间的关系,导出两个重要的弱赋值模同构。     

一类泛圈图

本文证明了如果G是2连通无爪图,G不是圈,n=|v(G)|>q,G的每个导出子图A都满足φ(a_1,a_2),且G中不存在W′作为其导出子图,则G是泛圈图。     

无爪图的Hamilton性

本文证明了如果G是2连通无爪图,G的每个导出子图A都满足(?)(a_1,a_2),且C中不含同构于D的导出子图,则G是Hamilton图.     

有限集素分类范畴与其伴随群的Hall函子和内自然同构

对一有限集合p的任一分类σ_k都对应地存在一个素分类范畴,对于P的每一伴随群也对应地存在Hall范畴,使得前者到后者内的Hall函子存在,诸Hall函子之间的自然同构——内自然同构存在,且全体内自然同构关于映射的合成运算构成一群,而此群总为原来所取伴随群的同态象。     

Markedness and its Interpretation in Language Use

Language markedness is a common phenomenon in languages, and is reflected from hearing, vision and sense, i.e. the variation in the three aspects such as phonology, morphology and semantics. This paper focuses on the interpretation of markedness in language use following the three perspectives, i.e. pragmatic interpretation, psychological interpretation and cognitive interpretation, with an aim to define the function of markedness.     

Lower Paleozoic oil relationships within Williston Basin, Canada

The Williston Basin is a significant petroleum province, containing oil production zones that include the Middle Cambrian to Lower Ordovician, Upper Ordovician, Middle Devonian, Upper Devonian and Mississippian and within the Jurassic and Cretaceous. The oils of the Williston Basin exhibit a wide range of geochemical characteristics defined as "oil families", although the geochemical signature of the Cambrian Deadwood Formation and Lower Ordovician Winnipeg reservoired oils does not match any "oil family". Despite their close stratigraphic proximity, it is evident that the oils of the Lower Palaeozoic within the Williston Basin are distinct. This suggests the presence of a new "oil family" within the Williston Basin. Diagnostic geochemical signatures occur in the gasoline range chromatograms, within saturate fraction gas chromatograms and biomarker fingerprints. However, some of the established criteria and cross-plots that are currently used to segregate oils into distinct genetic families within the basin do not always meet with success, particularly when applied to the Lower Palaeozoic oils of the Deadwood and Winnipeg Formation.