幺半群S-系范畴的若干自然同构函子

给出了幺半群S-系范畴的若干对自然同构的函子.研究了Hom函子和张量函子的性质,得到了幺半群的一些刻画.在幺半群S-系范畴中得到若干函子的自然同构.另外,对左R右S-双系U,左R-系(右S-系)M,证明了:M是U-无挠的当且仅当U上生成M.     

S-系的内射上生成子

本文借助于模论中的方法,在中心S-系范畴中,给出了上生成子的若干刻画.利用函子的自然同构,给出了平坦S-系的一些刻画,得到了内射上生成子,投射,内射,生成子之间的一些关系.     

幺半群等价

讨论了幺半群等价.给出了幺半群等价的一些性质,证明了两个重要的格同构.得到:如果幺半群R和S等价,F是从左R-范畴到左D-系范畴的范畴等价,M是一个左R-系,p是R的一个同余,则有M的子系格L(M)和F(N)的子系格L(F(M))格同构,只的同余格C(R)和S的同余格C(S)格同构,幺半群R/p和S/ψ(p)等价,其中ψ是R的同余格C(R)和S的同余格C(S)的格同构.     

关于S-系的局部化

设S是幺半群,借助环与模范畴中的方法,讨论了半群S-系局部化的若干性质得到了S-系局部化的泛性质,并证明了T-1S的素理想和S中与T不相交的理想有一个保序的双射T-1P(→)P.     

C(E')系对幺半群的刻画

设S是幺半群,在S-系范畴中引入了C(E′)系。通过对S-系中C(E′)性质的讨论,研究了S-系的同调分类问题,主要刻画了P(E′)幺半群的结构特征。     

条件(P_A)对幺半群的刻画

利用条件(PA)刻画了左可消幺半群,给出了一类特殊幺半群的S-系范畴特征.     

条件(E′)与均衡平坦性

给出了条件(E)的推广即条件(E′)的等价刻画,并利用条件(E′)和均衡平坦性给出了幂等元幺半群的S-系范畴特征,即证明了若S是幂等元幺半群则所有S-系是均衡平坦的,所有S-系满足条件(E′),所有S-系满足条件(E)是等价的.     

条件(E'''')与均衡平坦性

给出了条件(E)的推广即条件(E')的等价刻画,并利用条件(E')和均衡平坦性给出了幂等元幺半群的S-系范畴特征,即证明了若S是幂等元幺半群则所有S-系是均衡平坦的,所有S-系满足条件(E'),所有S-系满足条件(E)是等价的.     

关于S-系的覆盖

设S是幺半群,FGWI,WPF,ST_F分别表示有限生成弱内射右S-系、弱拉回平坦右S-系和强挠自由右S-系的类。证明了在有左零元的左reversible幺半群上,每一个右S-系A_i∈FGWI当且仅当_(i∈I)A_i∈FGWI;在Noetherian幺半群上,任意fg-弱内射S-系的有向上极限是fg-弱内射的;同时考虑了WPF-覆盖和STF-覆盖,给出了每一个右S-系都有FGWI-覆盖的条件。证明了若S是有有限几何型的有限生成幺半群,每一个右S-系都有WPF-覆盖,以及在任意幺半群S上,每一个右S-系都有ST_F-覆盖。     

生成非Cross簇的最小幺半群

一个幺半群簇是一个在同态像、子幺半群和任意直积运算下封闭的幺半群类.一个有限生成的、有限基的且包含有限多个子簇的幺半群簇称作Cross幺半群簇.证明了5阶幺半群M5生成一个非Cross幺半群簇.通过逐个验证,在同构和反同构意义下,除M5外的所有阶数小于等于5的幺半群都生成Cross幺半群簇.在同构和反同构意义下,M5是生成非Cross幺半群簇的唯一最小幺半群.