加法范畴的推出范畴的幂等完备化

考虑加法范畴的推出范畴的幂等完备化与加法范畴幂等完备化的推出范畴的关系,进一步证明了Abel范畴的推出范畴的幂等完备化与Abel范畴幂等完备化的推出范畴等价。     

扩张子范畴的幂等完备化

给定三角范畴D的子范畴X,Y,证明了若X,Y是幂等完备的且HomD(X,Y[i])=0,其中i=0,-1,则其扩张子范畴X*Y也是幂等完备的.应用到t-结构上,证明了包含t-结构的心的最小的有厚度子范畴是幂等完备的.应用到右(左)recollement上,证明了两端的三角范畴是幂等完备的充要条件是中间的三角范畴是幂等完备的.     

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

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

导出等价与三角范畴的Abel化的一点注记

利用三角范畴的Abel化,引入有限维代数的Abel化等价以及二次导出等价的概念,证明了这2种新的等价与代数的导出等价是一致的.     

弱幂等Quantale范畴与相关范畴的关系

首先引入弱幂等Quantale及Quantale上弱幂等核映射的概念, 给出Quantale的最大弱幂等商的等价刻画; 然后证明弱幂等Quantale范畴是Quantale范畴的反射子范畴, 幂等Quantale范畴是弱幂等Quantale范畴的反射子范畴; 最后得到幂等Quantale范畴是Quantale范畴的反射子范畴.     

幂等完备化,Serre函子与Recollement

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

幂等元在形式三角矩阵环上的应用

研究了幂等元在形式三角矩阵环上的应用,得到了形式三角矩阵环 T是左EQD环的充要条件,给出了形式三角矩阵环的若干新刻画;最后给出了形式三角矩阵环上幂等元的一个结论。     

关于左三角范畴的一个注记

设C是abelian范畴,W、X是C的反变有限子范畴,且w∈x,则加法范畴（C／w）／（x／w）是一个左三角范畴。     

三角幂等矩阵上保迹的乘法映射

An(F)((∩){aEij 1≤i≤j≤n})为域F上n阶上三角矩阵Tn(F)上的幂等矩阵集Υn(F)的乘法半群.f:An(F)→Υn(F)是满足trf(A)=trA,(A)A∈An(F)的乘法映射,那么存在可逆上三角矩阵P∈Tn(F),使得f(A)=P-1AP.     

s-幂等态射与幂等态射

给出了s-幂等态射的定义,在Abel范畴中讨论了s－幂等态射的定义,在Ａbel范围中讨论了s-幂等态射与幂等态射的关系,这些结果应用到p-除环上的矩阵范畴,得到p-除环上矩阵的相应结论。     

关于稳定范畴的一个注记

设C是abelian范畴,Ω■■X是反变有限子范畴,则加法范畴(C/Ω)/(/Ω)≈X/有左三角结构,从而也是一个左三角范畴.     

三角范畴的Recollement与Abel化

首先给出了加法范畴的Abel化与幂等完备化的关系,证明了加法范畴的幂等完备化范畴是其Abel化范畴的投射子范畴;在此基础上,证明了三角范畴recollement的Abel化是Abel范畴的右recollement。     

关于Abelian三角范畴的一个注记

主要证明如下结论:如果(C,T,Δ)是三角范畴,则C是Abelian范畴的充分且必要条件是C中三角是由同构于如下形式的态射图构成:U⊕V(00/01)→W⊕V(00/10)→T(U)⊕W(10/00)T(U)⊕T(V).由此得到:如果C是一个Abelian范畴,T是C上的可逆加法自函子,则有且仅有一种方式使(C,T)构成三角范畴.另外,还通过Abelian范畴C上的Serre类,研究局部化范畴C[S-1]是Abelian三角范畴的条件.     

幂合变换与幂合矩阵

把满足A3=A的矩阵A叫做幂合矩阵,满足A3=A的线性变换A叫做幂合变换.显然,幂和矩阵(变换)是幂等矩阵(变换)和是对合矩阵(变换)的统一和推广.讨论了它们的性质,并给出了它们的等价条件.     

三角范畴中八面体公理的几个等价命题

三角范畴是一个带有自同构(称为平移)的加法范畴,并且满足4条公理,其中的一条重要公理是八面体公理.作者结合一个自同构T定义了quasi-pushout与pushout,证明了在三角范畴中其它三条公理满足之下,quasi-pushout或pushout与八面体公理等价.