生成非Cross簇的最小幺半群

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

自由Clifford幺半群和含恒等元的自由半格的图表示

证明了非空集合$X$上自由Clifford幺半群$C_{X}$与双根字树集合$B_{X}$的某个子集并上一个恒等元所得的半群$\overline{B_{X}}$同构, 并且考察了$B_{X}$与$\overline{B_{X}}$的关系. 另外, 还证明了含恒等元的自由半格$Y_{X}$与有根字树集合$T_{X}$的某个子集并上一个恒等元所得的半群$\overline{T_{X}}$同构.     

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

设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生成的自由幺半群且A是X*的非空子集,如果A∩AX+=Φ,则称A是前缀码。设{B1,B2}是X的任意2—划分,令A=B2∪B1(Xi\Bi1)∪E,i=1,2,其中E=Bi1+1(B01B1∪B2B1∪B22B1∪…∪B2M-1B1∪B2MX),M≥0。文章证明了A是前缀码且幺半群A*是自由幺半群X*的极大自由幺子半群。     

相对于幺半群的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环.     

保整除变换半群的Green关系及一些组合结果

设Xn={1,2,…,n}是有限集,Tn是Xn上的全变换半群,令TD{Xn}={α∈Tn:x∈Xn,x|n■xα|n}那么TD{Xn}在变换的合成下构成Tn的一个子半群.刻划了TD{Xn}的Green关系和正则元,并得到了TD{Xn}的一些子集的基数计算公式.     

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

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

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

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2-划分,A=B2∪ E,其中E=B1XN(B02B1∪B2B1∪B22B1∪…∪BM-12B1∪BM2X),N≥0,M≥0.对N=0,文[1]证明了幺半群A*是自由幺半群X*的极大自由幺子半群.利用文[2]的结果证明了对N≥2,幺半群A*也是自由幺半群X*的...     

关于一类纯正半群的秩

设~$X_{n}=\{1, 2,\ldots, n\}(n \geq 4)$ 是一个自然序集,$W_{n}$ 是~$X_{n}$ 上的保序压缩奇异变换半群,$RW_{n}$是$W_{n}$的所有正则元构成的正则子半群.利用Green等价关系和蛋合图，证明了$RW_{n}$的理想$I_{r}=\{\alpha\in RW_{n}:\mid $im$ \alpha\mid\leq r\}(1\leq r\leq n-1)$ 秩为$n-r+1$.     

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

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

单的负关联半群(续)

一个负的有序关联半群(S,≤,.,)称为单的,设S是交换关联半群,如果S的所有滤子是{1}和S本身,则S是单的当且仅当S的所有*-同余是IS和S×S.     

加权有限自动机的幺半群

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

有限可换幺半群的一个商群

关于“群”有各种各样的定义,本文给出了有限幺半群成为群的一个条件。并对有限可换幺半群进行了讨论,通过对它的商集的研究,建立了有限可换幺半群与有限可换幺群之间的联系,从而揭示了有限可换幺半群的构造。     

序半群的K-理论

设S为幺半群,1为其单位元,B是非空集合.若有映射(S在B上的作用)S×B→B满足s(tb)=(st)b,1b=b,其中s,t∈S,b∈B,则称B为(左)S-系.宋光天利用有限生成投射S-系讨论了半群的Grothendieck群和Whitehead群.在文[6]中,作者给出了无零元序幺半群S上的投射序S-系的结构.本文首先利用不可分强凸子系给出了序S-系的分解定理,然后给出了投射序S-系的结构,最后讨论了序半群上的Grothendieck群.     

幺半群S=〈a，b，c│abc=1〉的结构

给出了幺半群S字问题的解，即{a，b，c}^＊中任意两个字W，z在同一个由{（abc，1）}生成的同余类的充要条件，定义了S的任意元素的分解式，刻画了它的Green等价关系，验证了其元素的正则性．     

PCA分块Rees矩阵半群

用。-幺半群和这类半群的双系构造了PCA分块Rees矩阵半群,这类半群是PA分块Rees矩阵半群的一种推广,并举例表明一个半群可以是PCA分块Rees矩阵半群,但不是PA分块Rees矩阵半群.     

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

设X1是由字母表X生成的自由幺半群,{B1,B2}是X的任意2一划分,C=B2UBl（XN＼B1N）UE,其中E=B1N＋1（B10B1UB281uUB22B1U…UB2M-1B1UB2MX）,N≥3,M≥o,则C’是X’的幺子半群。以X’为顶点集构造了一个语言图,然后利用该语言图证明了G‘是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*的极大自由幺子半群.     

幺半群环的弱p.p.性质

设R是环,G是幺半群.证明:(1)如果R是abelian环,G是u.p.-幺半群,则幺半群环R[G]是弱p.p.-环当且仅当R是弱p.p.-环;(2)如果G是非周期的幺半群,R是G-Armendariz环,则幺半群环R[G]是弱p.p.-环当且仅当R是弱p.p.-环.     

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

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