幺半群-矩阵型自动机的自同态幺半群

基于对循环交换自动机的特征幺半群的研究,给出了幺半群-矩阵型自动机的一个刻画,同时讨论了幺半群-矩阵型自动机的输入集和幺半群的生成元集之间的关系,将群-矩阵型自动机的结论推广到幺半群-矩阵型自动机.     

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

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

伪T模L-Fzzy正则半群

在半群上伪T模L-Fuzzy半群基础上,给出了半群上伪T模L-Fuzzy幺半群的概念,以及一个伪T模L-Fuzzy集成为伪T模L-Fuzzy幺半群的条件,并得到了伪T模L-Fuzzy幺半群的一个性质,在F-zzy正则半群基础上给出了伪T模L-Fuzzy正则半群的概念,伪T模L-Fuzzy内正则半群的概念,并讨论了它们的一些性质.     

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

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

伪T模L-Fuzzy正则半群

在半群上伪T模L-Fuzzy半群基础上,给出了半群上伪T模L-Fuzzy幺半群的概念,以及一个伪T模L-Fuzzy集成为伪T模L-Fuzzy幺半群的条件,并得到了伪T模L-Fuzzy幺半群的一个性质,在Fuzzy正则半群基础上给出了伪T模L-Fuzzy正则半群的概念,伪T模L-Fuzzy内正则半群的概念,并讨论了它们的一些性质.     

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

设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上的自由幺半群,以X 为顶点集构造一个语言图,用它来研究极大前缀码,并给出一系列判定极大前缀码的充要条件。最后还证明了字母集X上所有极大前缀码之集M(X)是一个自由幺半群。     

生成非Cross簇的最小幺半群

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

每一个具有条件(S)的BCK—代数是一个可换负偏序幺半群的剩余元集

本文证明了每一个具有条件(S)的BCK—代数诱导一个交换负偏序剩余幺半群,反之每一个交换负偏序剩余幺半群诱导一个具有条件(S)的BCK—代数。由此进一步说明每一个具有条件(S)的BCK—代数是交换负偏序幺半群的剩余元集。     

加权有限自动机的幺半群

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

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

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

关于P-主弱内射系的特征

设S是幺半群, P是S的非空子集。基于P中任意元素生成的主右理想的嵌入定义的一类新的主弱内射系, 称之为P-主弱内射系。利用这类新的性质给出了一些新的幺半群类的刻画。     

关于非交换幺半群的局部化

局部化是交换代数中的一个重要工具,[1]中将局部化推广到交换幺半群中。本文将局部化又进一步推广到非交换幺半群中,证明了非交换幺半群在它的中心子幺半群的局部化的存在唯一性,并讨论了非交换幺半群的局部化的若干性质。     

关于两类右分配的强双幺半群的自由对象

基于泛代数的观点,通过在全体后缀码的集族上添加两个二元运算和两个常元,构造两个满足右分配律的强双幺半群,说明它们对其所属代数类具有泛映射性质。给出两类满足右分配律的强双幺半群簇的自由对象模型。     

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

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

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

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

弱平坦性和平坦性一致的幺半群

在幺半群中,引入了弱左PSF幺半群的概念,并研究了它的性质,刻画了所有弱平坦S 系是平坦S 系的幺半群.     

n-左几乎正则幺半群的平坦性刻画

设n是正整数,S是幺半群。定义并研究了左几乎正则幺半群的一个推广,称之为n-左几乎正则幺半群。利用S-系新的平坦性,给出了这类幺半群的刻画。     

型F的右适当幺半群

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

自由幺半群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*的极大自由幺子半群.