半群的代数K-理论方法(Ⅰ)——半群的Grothendieck群

本文及其续试将代数K-理论方法引入半群理论的研究。 设S是一个半群(有单位元和零元),P(S)是有限生成投射(单式、中心左)S-系范畴。本文定义半群S的Grothendieck群K_0S是K_0P(S),并证明了,K_0S是个自由Abel群,它的秩等于S的非零正则?-类的集合的基数。由此,定义了一般半群(未必有单位元和零元)的秩,考察了半群的秩与它们的代数结构之间的关系。接着讨论了K_0的函子性质。最后,对于交换半群S,刻划了K_0S的环结构。     

有限幂零半群的构造

有零元的半群S称为幂零的,如果对于任意x∈S有正整数n使x~n=0,设S是有限幂零半群,则存在正整数门使得S~n={0}([1],P.81),适合此条件的最小正整数称为S的0-阶,记为0(S);S的非零元x的0-阶(记为o(x))是指适合下述条件的最小正整数n:S的任意n个包括x在內的元素的积为零;零元的o-阶规定为1. 以下假设S是n阶有限幂零半群.     

N(2,2,0)代数的E-反演半群

本文研究了N(2,2,0)代数(S,*,△,0)的E-反演半群.利用N(2,2,0)代数的幂等元,弱逆元,中间单位元的性质和同宇关系,得到了N(2,2,0)代数的半群(S,*)构成E-反演半群的条件及元素α的右伴随非零零因子唯一,且为α的弱逆元等结论,这些结果进一步刻画了N(2,2,0)代数的结构.     

有限R—平凡p—半群的分类

半群的代数理论的一个重要课题是研究半群S的同余的特性对于S的结构的影响。作为这个课题的一个方面是研究同余可交换半群的性质。本文借助有限R-平凡半群构造定理[5]来研究有限R-平凡的同余可交换半群的分类。设S是半群。S的同余格记为C(S)。设x∈S,ρ∈C(s),x所在的ρ-类记为xρ。S称为同余可交换半群(简称为P-半群),如果ρ°σ=σ°ρ     

具有中心幂等元的L-弱正则半群

本文定义了具有中心幂等元的(L)-弱正则半群,研究了这类半群的代数结构.利用半群上的右同余(L)+和左同余R+,证明了半群S是一个具有中心幂等元的(L)-弱正则半群,当且仅当S是H-左可消幺半群的强半格.这推广了Clifford半群的相应结果.     

基半群为0-J-严格单半群的零直并的代数

设Ａ是代数闭域ｋ上的一个具乘基Ｂ的有限维含幺结合代数，称半群Ｂ∪｛０｝为Ａ的基半群．本文给出了０ Ｊ 严格单半群的定义．对于基半群为０ Ｊ 严格单半群的零直并的代数，完全研究了它的代数表示型     

由自然数的因子构成的半群

本文首先介绍了半群、群的定义,研究了自然数n取何值时,通过定义相应的代数运算,使得它的因子集构成半群、群,从而为半群的代数理论提供了一个有趣的实例.     

分子格半群

在本文中，作者在格半群上引入了半群元和理想元的概念，使得半群（理想）和ＴＬ－Ｆｕｚｚｙ半群（理想）是其特例。在分子格半群上引入了群元和正规群元等概念，在更高的层次上统一了群和Ｌ－Ｆｕｚｚｙ群。     

一类正的K_0-群同态的提升

设0→I→A■B→0为C~*-代数扩张,其中I为AF-代数,A为有单位元的C~*-代数.设D为一类AF-代数.本文利用投影元的保序提升和K_0-群的归纳极限来研究K_0(D)到K_0(B)的群同态被K_0(π)提升的问题.从而得到,如果Φ为从K_0(D)到K_0(B)的正的群同态且Φ([1_D]_0)=[1_B]_0,则Φ可以被K_0(π)提升.     

关于I_3-半群(一)

本文利用半群的代数理论及集合论的方法讨论了I_3-半群的若干性质,给出了I_3-半群的若干幂零类。     

全子半群构成链的富足半群

全子半群定义为含有所有幂等元的子半群.半群称为▽_(fs)-半群,如果它的所有全子半群关于集合包含关系构成一个链.本文研究富足▽_(fs)-半群,得到这类半群的若干特征,特别地,建立了完全0-单▽_(fs)-半群和满足正则性条件的本原富足▽_(fs)-半群的结构.     

关于C o-rpp半群与C o-wrpp半群（英文）

本文首先定义了一类真包含C-rpp半群的C o-rpp半群,并证明了半群S是满足L~o(S)是右同余的C o-rPP半群当且仅当它是左o-幺半群的强半格.因此,关于C-rpp半群和Clifford半群的相应结构定理得到了推广.接着,本文还把格林L~(**)-关系和格林L~o-关系同时推广到了格林L~(oo)-关系,定义了C o-wrpp半群,并给出了这类半群的一个结构定理,从而推广了关于C-wrpp半群相应的结构定理.     

矩阵逆半群

讨论矩阵逆半群的一些基本性质, 证明矩阵逆半群的幂等元集是有限布尔格的子半格, 从而证明等秩矩阵逆半群是群, 然后完全确定二级矩阵逆半群的结构：一个二级矩阵逆半群或者同构于二级线性群,或者同构于二级线性群添加一个零元素,或者是交换线性群的有限半格, 或者满足其他一些性质; 对于由某些二级矩阵构成的集合, 我们给出了它们成为矩阵逆半群的充分必要条件.     

弱Hopf代数与正则幺半群

本文定义了弱Ｈｏｐｆ代数并研究了弱Ｈｏｐｆ代数的弱对极与类群元幺半群的关系．首先,本文给出弱Ｈｏｐｆ代数的一些基本性质;然后,对类群元幺半群是逆半群或纯正半群的某些弱Ｈｏｐｆ代数,描述了其弱对极的一些性质;最后,给出一类其类群元幺半群为正则半群的弱Ｈｏｐｆ代数．     

基半群为O—J—严格单半群的零直并的代数

设Ａ是代数闭域Ｋ上的一个具乘基Ｂ的有限维含幺结合代数，称半群Ｂ∪（０）为Ａ的基半群。本文给出了０－Ｊ－严格单半群的定义，对于基半群为Ｏ－Ｊ－严格单半群的零直并的代数，完全研究了它的代数表示型。     

局部单位元半群分次环

设S为有限局部单位元半群,R为S—分次环.首先定义了S—分次环R在半群S上的冲积R#S*,证明了模范畴R#S*-M od与分次模范畴(S,R)-g r之间的等价性,并进一步研究了局部单位元半群分次环的分次Jacobson根及其相关的自反根的关系,得到重要关系式J(R#S*)=JS(R)#S*及Jref(R)=(J(R#S*))↓=JS(R).     

三维半群代数

首先给出代数闭域上三维半群代数的幂等元集和Jacobson根,并且刻画了三维半群代数的同构类.通过计算箭图,研究了三维代数的表示型.进一步,证明一个三维(或者二维)半群代数是胞腔的,当且仅当它是交换的.作为推论,得到一个左零带所对应的半群代数是胞腔的,当且仅当这个左零带是一个半格.     

关于N（2，2，0）代数的中间幂等元

为了深入研究N（2,2,0）代数的代数结构,在N（2,2,0）代数中建立了中间幂等元的概念,讨论了它的基本性质,给出了中间幂等元关联的集合坞是（S,＊,△,0）的子代数的一个条件．证明了当U（2,2,0）代数中包含一个右零半群时,Mg是幂等元集E（S）的子集．并利用坞定义了一个等价关系．     

纯无限单的C*-代数通过某些C*-代数扩张的非稳定K-理论

设0→B■E■A→0是有单位元C~*-代数E的一个扩张,其中A是有单位元纯无限单的C~*-代数,B是E的闭理想.当B是E的本性理想并且同时是单的、可分的而且具有实秩零及性质(PC)时,证明了K_0(E)={[p]| p是E\B中的投影};当B是稳定C~*-代数时,证明了对任意紧的Hausdorff空间X,有■(C(X,E))/■_0(C(X,E))≌K_1(C(X,E)).     

单的迹稳定秩一C*-代数的消去性质

本文证明了一个单的有单位元的迹稳定秩一的C*-代数具有消去律,利用此结果证明了单的有单位元的迹稳定秩一的C*-代数是稳定秩一的.最后讨论了迹稳定秩一的C*-代数的K0群的性质.