加权有限自动机的幺半群

讨论了加权有限自动机的变换幺半群,并通过加权有限自动机的同余关系,提出了语法幺半群的概念,给出了语法幺半群有限的条件,并建立了变换幺半群与语法幺半群之间的关系。最后讨论了加权有限自动机的转移幺半群。     

语言幺半群中子幺半群的自由性

证明了强左奇异且右奇异语言及｛１｝之集是语言幺半群的自由子幺半群;由此给出了强双侧奇异语言幺半群自由性的一个简化证明．进而讨论了极大前（后、双）缀码子幺半群的自由性问题．     

R-左可消幺半群上的正规Rees矩阵半群

应用R-左可消幺半群的概念,推广零群上的Rees矩阵半群和广义Rees矩阵半群,引进R-左可消幺半群上正规Rees矩阵半群.讨论R-左可消幺半群上正规Rees矩阵半群的性质与结构特征,证明这类矩阵半群是本原可分wrpp半群,也是完全0-J^**-单wrpp半群.这些结果部分推广了幺半群、可消幺半群及左可消幺半群上Rees矩阵半群的性质和结构的相应结论.     

取值于赋值幺半群的加权下推自动机的代数性质

引入取值于赋值幺半群的加权下推自动机、标准型加权下推自动机的定义,证明了在双幺赋值幺半群框架下,加权下推自动机与标准型加权下推自动机相互等价,且以终态方式与以空栈方式识别语言的加权下推自动机能够识别相同的形式幂级数;在Cauchy双幺赋值幺半群上,加权上下文无关语言对于和、连接、正克林闭包运算封闭。结果表明加权下推自动机的诸多性质并不依赖于赋值幺半群的分配律和结合律。     

幺逆半群的Rees矩阵半群的平移壳

研究了幺逆半群的Rees矩阵半群的平移壳的结构．利用映射，给出了幺逆半群的Rees矩阵半群的平移壳的两个结构定理，推广了已知的群上的Rees矩阵半群的平移壳的结果．     

型F的右适当幺半群

右适当幺半群S称为型F的,如果S是F-rpp半群.目的是给出型F的右适当幺半群的F*-幺半群结构定理:半群S是型F的右适当幺半群当且仅当S同构于F*(M,X,Y),这里F*(M,X,Y)是F*幺半群系统.此结果推广了F-逆半群的相关结果.     

幺半群-矩阵型自动机的商自动机

本文从两个幺半群之间的同态出发,构造(n,S)-自动机之间的满同态,得到自动机的同余关系,进一步,在状态集的商集上,重新构造新的自动机(即所谓商自动机),并阐述了所构造的自动机与满同态所对应的自动机是同构的.在此基础上,引入(n,S)-自动机上的所谓的■和■关系,证明了这两个关系是可交换的.     

自由幺半群的一族极大自由幺子半群

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN,N≥1,文[1][2]中证明了C*是自由幺半群X*的幺子半群。以X*为顶点集构造了一个语言图,利用它证明了:对N≥1,C=B2∪XNB1,幺半群C*也是自由幺半群X*的一族极大自由幺子半群.     

自由幺半群X*的一族极大自由幺子半群

设X*是由字母表生成的自由幺半群,B1,B2是X的任意2-划分,C=B2∪B1XN,N1,文[1-2]证明了幺半群C*是自由幺半群X*的极大自由幺子半群.本文证明了:对N≥1,C=B2∪B1(XN\B1N)∪B1N 1X,则幺半群C*也是自由幺半群X*的极大自由幺子半群.     

半群X^＊的一族极大自由幺子半群

考虑自由幺半群X*的一族特殊幺子半群,并以X*为顶点集构造了一个语言图, 利用它证明了该族子半群是一族极大自由幺子半群.     

完全右F-纯幺半群

本文引入了绝对F-纯S -系的概念 ,将完全右内射幺半群推广到完全右F-纯幺半群 ,讨论了绝对F-纯S-系的性质 ,得到了完全右F -纯幺半群的“理想 -同余”刻划 .     

8-图的自同态幺半群

研究了8-图的正则自同态幺半群的代数结构,确定了正则自同态幺半群的Green关系以及相关的计数问题.讨论了8-图的自同态幺半群的完全正则性.     

σ-逆幺半群的半直积

给出了幺半群的半直积是σ-逆幺半群的主要条件。     

有限幺半群的构造(Ⅴ)

本文在幺半群上定义共轭关系,使得古典群论的一些基本定理得到推广,并给出具挠性的幺半群在有限生成集是个正规集时,Burnside Problems的明确答案。     

单幂幺半群的半格

给出了单幂幺半群的半格的4条等价刻画.即对于半群S,以下4条刻画等价:ⅰ)S是单幂幺半群的半格;ⅱ)S是单幂幺半群的强半格;ⅲ)S是■-富足的,■为S上的同余,且S是幂等元中心的;ⅳ)S是■-富足的,■为S上的同余,且在S上,■=■.推广了Clifford半群的结构定理.     

相对于幺半群的拟-MCCOY环

引入了M-拟-McCoy环并研究了其性质。对u.p.幺半群M,证明了reversible环是M-拟-McCoy环。对于包含无限循环子幺半群的交换可消幺半群M及u.p.幺半群N,若R是交换的M-拟-McCoy环,则R[N]是M-拟-Mc-Coy环及R是M×N-拟-McCoy环。对幺半群M,R是M-拟-McCoy环当且仅当上三角矩阵环Tn(R)是M-拟-Mc-Coy环及直积∏i∈IRi是M-拟-McCoy环当且仅当每个Ri(i∈I)是M-拟-McCoy环。     

完全(α,β)-绝对纯幺半群

完全右内射幺半群是一类具有重要研究价值的半群,完全α-绝对纯幺半群和完全右FC-内射(FSF-内射)幺半群是其两种不同的推广.通过引入(α,β)-绝对纯S-系的概念,将完全α-绝对纯幺半群和完全右FC-内射(FSF-内射)幺半群进一步推广为完全(α,β)-绝对纯幺半群,即所有S-系是(α,β)-绝对纯的幺半群.讨论了(α,β)-绝对纯S-系的性质,给出了完全(α,β)-绝对纯幺半群的理想-同余刻画, 从而完全α-绝对纯幺半群和完全右FC-内射(FSF-内射)幺半群等的对应结论都可由此结果推出.     

相对于幺半群的McCoy环

对于幺半群M,引入了M-McCoy环并研究了它的性质,证明了对于任意的u.p.-幺半群M,可逆环都是M-McCoy环.得到了对于幺半群M,u.p.-幺半群N,若R是交换的M-McCoy环,则R是M×N-McCoy环.证明了M-McCoy环的直积是M-McCoy环及在一定条件下M-McCoy环的子环是M-McCoy环.同时也证明有限生成的阿贝尔群G是无挠群当且仅当存在一个环R,使得R是G-McCoy环.     

*-左Ample幺半群的最小*-右可消同余

利用幺半群的*-右可消性,构造出*-左ample幺半群的最小*-右可消同余,改进了型A幺半群的最小右可消同余.     

自由幺半群X*的两类极大自由幺子半群的推广

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN。对N=1,2,文[1]证明了幺半群C*是自由幺半群X*的极大自由幺子半群。本文证明了:对N≥3,幺半群C*也是自由幺半群X*的极大自由幺子半群。