k上G-分次范畴的平凡扩张

设G为群,X为k上G-分次范畴.在定义C上k-函子F的基础上,证明了平凡扩张范畴C∝F仍为k上G-分次范畴;当F为X上分次k-函子时,给出了一族范畴同构,即r∈N(G),有(C#G)∝(F#r)(C∝F)r#G.     

函子范畴与范畴的平凡扩张

设C为小范畴,D为预加法范畴,根据范畴D上自加法函子F,定义函子范畴F上自加法函子f,并给出一族范畴同构(D∝F)C≌D∝F     

满忠实函子诱导的三角范畴中心间的态射

设(F,ξ):C→D为三角范畴间的满忠实三角函子,Z*(C)和Z*(D)分别为三角范畴C和D的分次中心。则F自然诱导了从一个分次同态珘F:Z*(D)→Z*(C),且给出了珘F的具体形式。     

泛态射范畴的平凡扩张

设C,D是加法范畴, S:D→C, F:C→C是两个加法函子,且范畴C关于S具有足够多泛态射,则平凡扩张范畴C■F具有足够多的泛态射.进一步地,得到泛态射范畴的平凡扩张与范畴的平凡扩张的泛态射范畴等价.     

函子范畴与幂等完备化构造的相容性

讨论函子范畴和范畴的幂等完备化构造的相容性,证明小范畴D到任意范畴C的函子范畴C D的幂等完备化范畴等价于D到幂等完备化范畴C～的函子范畴(C～)D.进一步得到函子范畴CD是幂等完备的,当且仅当C是幂等完备的.     

函子范畴的本质(多余)子对象

设C是小范畴,则范畴D中的本质(多余)子对象构造出函子范畴DC中相应的本质(多余)子对象。反之,设F,G是函子范畴DC中的两个常值函子,若F是G的一个本质(多余)子对象,则对任意x∈obC,在范畴D中有F(x)是G(x)的一个本质(多余)子对象。     

加法范畴的回路范畴与η-扩张

设A是加法范畴,在定义范畴A的η-扩张基础上,得到加法范畴的η-扩张的不变性,进而得到范畴A的回路范畴与η-扩张交换性,即有加法范畴等价Ω(A(η))≌(ΩA)(η→).最后将主定理应用到环R上的模范畴,得到环R与其扩张环的K_1群的一个结果.     

幂等完备化,Serre函子与Recollement

给定加法范畴A,证明了若A存在右(左)Serre函子,则其幂等完备化范畴A~存在右(左)Serre函子.在此基础上,说明了对三角范畴上的recollementD′■D■D″,若D存在Serre函子,则~D允许两个关于~D″及~D′的反射recolle-ments.作为应用,证明了给定recollement两端三角范畴D′,D″上的t-结构可诱导出中间范畴的幂等完备化范畴D~上3个t-结构.     

k上G-分次范畴的局部化

讨论k范畴,k上G-范畴,k上G-分次范畴在局部化下相应范畴的保持问题,考虑k上G-分次范畴的冲积范畴与局部化的关系,证明了[S-1]#G≌(#G)[S-1].     

导出微分分次范畴的Nakayama函子

设A是域k上的DG范畴,B.Keller定义了微分分次范畴Dif A的DG函子ν。在定义了Dif A的DG函子的基础上,证明了ν和是HA的正和函子,且ν和诱导了DA的正和函子Lν和R。     

弱加法范畴

以可换么半群范畴心和半模范畴sM为背景建立了弱加法范畴的概念,讨论了弱加法范畴中有限个对象上积的性质,给出了保持有限对象上积的函子的等价刻划,进而定义了弱加法范畴的理想和同余关系,以此建立了弱加法范畴的商和同态基本定理及第一、二同构定理,并讨论了同余的格和亚直积等,以上概念和结果是对加法范畴的实质性拓广,为探讨弱加法范畴的结构奠定了必要的基础．     

不可分解模是F-周期模的一个充要条件

设k是一个代数闭域,A是有限维k-代数,F是modA上的一个自等价函子.给出了不可分解模是F-周期模的一个充要条件.     

有限生成半单分次模情形的群分次环

对有限生成半单分次模情形下的G-分次环进行了探讨。如果X=i∈FXi,Xi为单G-分次R-模,F为一个有限集合,Mod(E(X))表示E(X)-模范畴,则X=i∈F,Xi∈SXi为Mod(R|X)的有限生成投射生成子。而-E(X)X与HomR(X,-)在Mod(R|X)限制下构成的Abel范畴Mod(E(X))及Mod(R|X)间的范畴为互逆范畴。     

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

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

扩大(G,H)- 分次环

将扩大G-分次环的概念加以推广,定义了一种新的分次环--扩大(G,H)-分次环,给出其两个等价刻划,并在R(G,H)-Agr中引入Noetherian模的概念,讨论了R(G,H)-Agr与(Re,H)-gr范畴间Noetherian模的一些性质与关系.     

Monoidal范畴的两种构造

通过范畴的扩张构造两类monoidal范畴。给定一个monoidal范畴,构造了一个回路范畴并证明其仍然为monoidal范畴。给定一个加法monoidal范畴及一个加法严格monoidal函子,证明可以构造一个仍然为monoidal范畴的平凡扩张范畴。     

商范畴与hom函子

设R是有单位元的环,r=(T,F)是左R-模范畴R-mod上的遗传挠理论,R-mod/F是由遗传挠理论τ的挠类T所决定的R-mod的商范畴.设M、N是左R-模,则从M到N的所有τ-态射(即Rmod/T中的态射)的集合构成一个Abel群,用hom_R(M,N)表示.首先,说明了hom函子是从R-mod到Abel群范畴的左正合加法函子.其次,利用hom函子的正合性刻画了商范畴R-mod/T中的投射对象与内射对象.最后,证明了τ是正合挠理论当且仅当自然函子J:R-mod→R-mod/T保持投射对象不变.     

F-Gorenstein投射复形类的稳定性

设Λ是一个交换Artin环k上的Artin代数,F是函子Ext1Λ(-,-)的加法双子函子且有足够的投射对象.证明了F-正合复形G=…→Gn+1fn→+1Gnf→nGn-1→…为F-Gorenstein投射复形的充要条件是每个Gn都是F-Gorenstein投射模,并且F-Gorenstein投射复形类具有稳定性.     

范畴中的拟-morphic对象

本文引入了范畴中的拟-morphic对象,给出了其在p-exact范畴Abelian范畴中的一些性质。主要证明设A是p-exact范畴中的拟-morphic对象,则A的任一子对象均同构于A的一个像当且仅当A的任一像均同构于A的任一子对象;设C和D是Abelian范畴,F:C→D是完全忠实正合函子,且A∈Ob C,则A是拟-morphic的当且仅当F(A)是拟-morphic的。     

关于CE-投射模及其投射维数

利用投射模的研究方法构造出了CE-内射模的对偶模类CE-投射模,刻画了CE-投射模及其CE-投射维数的一些性质;结论如下:假如F:RM→SM为模范畴的等价函子,G是F的逆函子,则M为R-CE-投射模当且仅当F(RM)为S-CE-投射模;RM在环R上的CE-投射维数与SF(RM)在环上的CE-投射维数是相等的,也即l.CEpd(RM)=l.CEpd(SF(RM)).