乘法半群(S,·)为矩形群的双半环

本文研究了(S,+)半群为半格、(S,·)半群为矩形群、(S,*)半群为半格的双半环。从双半环的两个子集出发构造两个偏序关系,得到了双半环的(S,·)半群上的Green-■关系■是双半环同余的一个充要条件,并给出了■是双半环同余的等价命题。     

半群CPO_n(A)的格林关系

设PO_n是X_n={1,2,…,n}上的保序部分变换半群,A是X_n的非空子集,令CPO_n(A)={α∈PO_n:(A∩dom(α))α■A,且x,y∈(A∩dom(α)),|xα-yα|≤|x-y|},则CPO_n(A)是PO_n的子半群.利用变换半群的保序和压缩性,刻画了半群CPO_n(A)的格林关系.     

完备■~U-富足半群

定义了半群上的■U-关系,借助正规带和C-■U-富足半群,得到了完备■U-富足半群的若干结构定理。     

完备■-富足半群

本文定义了半群上的■-关系,借助正规带和C-■-富足半群,得到了完备■富足半群的若干结构定理     

关于偏序■-半群的(m,n)拟理想

引入序■-半群的(m,n)拟理想、m-左理想、n-右理想的概念,给出它们的生成的表示;证明了序■-半群上任何(m,n)拟理想可以分解为一个m-左理想和一个n-右理想的交,且任何一个极小的(m,n)拟理想可以分解为一个极小m-左理想和一个极小n-右理想的交;给出了(m,n)拟单偏序■-半群的刻画和偏序■-半群拟理想、左理想和右理想的刻画.     

半群PO_n(k,m)的秩

设POn是[n]上的部分保序变换半群.对任意1≤k≤n-1且2≤m≤n,研究半群POn(k,m)={α∈POn:x,y∈dom(α),x≤k■xα≤k,y≥m■yα≥m}证明了半群POn(k,m)的幂等元秩为3n-4.进一步,得到了半群POn(k,k+1)的秩为2n-2,且半群POn(k,m)(m≠k+1)的秩为2n-1.     

■-超半群的(m,n)拟超理想

引入■-超半群的(m,n)拟超理想、m-左超理想和一个n-右超理想的概念,给出■-超半群任何一个非空子集生成(m,n)拟超理想的生成表示.证明任何(m,n)拟超理想可以分解为一个m-左超理想和一个n-右超理想的交,同时证明■-超半群的一个极小(m,n)拟超理想是极小的当且仅当它是某个极小m-左超理想和某个极小n-右超理想的交.最后给出了(m,n)拟单超■-超半群的刻画.     

半群OI_n(k,m)的秩

设OI_n是[n]上的保序严格部分一一变换半群.对任意1≤k≤n-1,且2≤m≤n,研究半群OI_n(k,m)={α∈OI_n:(x,y∈dom(α))x≤k■xα≤k,y≥m■yα≥m}的秩,证明半群OI_n(k,k+1)的秩为n,且半群OI_n(k,m)(m≠k+1)的秩为n+2.     

集合I到集合Λ上的二元关系半群P_θ(I×Λ)的生成集和Green-关系

设集合I,Λ是任意的非空集合.当θ=Λ'×I■Λ×I时,本文获得了半群Pθ(I×Λ)的非可解元和不可约生成集,并且给出了半群Pθ(I×Λ)的Green-关系,最后讨论了半群Pθ(I×Λ)的一些特殊计数.     

一类满足恒等置换条件的半群

定义了S上的新的格林关系■,通过对C-■-富足半群的刻划,最终得到了PI-强■-富足半群的一个结构定理。     

毕竟强■-富足半群

定义了毕竟强■-富足半群且证明了一个半群是毕竟强■-富足半群当且仅当它是一个强■-富足半群的膨胀.     

半群OI~k_((n,r))的秩和相关秩

设自然数n≥3,OI■是有限链[n]上的双边k型-保序严格部分一一变换半群.对任意的1≤k≤n-1, 0≤r≤n-1,记OI■={α∈OI■:|im(α)|≤r}为半群OI■的双边理想.通过对秩为r的元素和格林关系的分析,分别获得了半群OI■的极小生成集和秩.进一步确定了当0≤l≤r时,半群OI■关于其理想OI■的相关秩.     

■—正则半群与一致和反一致特征部分带

研究■—正则半群与一致和反一致特征部分带间的关系。由一致特征鄙分带构造双单■—正则半群和由反一致特征部分带构造其为完全正则半群的■—正则半群,所得结果推广了Howie和Schein与Munn的关于半格与逆半群以及Hall的关于带和纯整半群的相应结果,并且部分地回答了Bairad的一公开问题。     

半群Q(F,k)的极大正则子半带

设T(X)是X上的全变换半群且Y是X的子集,令F(X,Y)={α∈T(X)|Xα■Yα■Y}.当|Y|=n≥4,对2≤k≤n-1,研究了半群F(X,Y)的理想Q(F,k)={α∈F(X,Y)||im(α)|≤k},得到了它的极大正则子半带的完全分类.     

格值模糊自动机及对应语言的分级

为了探讨格值模糊自动机等价的条件,采用对偏序格半群加以限制的方法,将格值模糊有限自动机划分为确定的、序列型的、无歧义的、有限歧义以及无限歧义自动机这几种不同的类型,得到这几类自动机接受语言之间的关系为L-DFA■L-Seq■L-NAmb■L-FAmb■L-Reg;当偏序格半群非局部有限时,关系为L-DFAL-SeqL-NAmbL-FAmbL-Reg;当偏序格半群局部有限时,关系为L-DFA=L-Seq=L-NAmb=L-FAmb=L-Reg.     

半群■的秩

设■和■分别是[n]上的奇异一一变换半群和循环群.考虑变换半群■,证明变换半群■的秩为2或3.     

半群TOP_n(k)的格林(星)关系及富足性

广义格林关系为研究非正则半群提供了一个有效途径.基于这一方法,对半群TOP_n(k)的元素和蛋盒图进行相关研究.得到了半群TOP_n(k)的格林关系和星格林关系.进一步证明了:当1≤k≤n-1时,半群TOP_n(k)是非正则富足半群.     

弱幻方的代数系统

在弱幻方定义的基础上,采用类比法研究了相关代数系统,从而结合抽象代数的相关定义提出弱幻方关于二元运算■和■的代数系统:弱和幻方关于■构成代数系统、半群、交换半群、群、交换群;弱积幻方关于■构成代数系统、半群、有幺元的交换半群;弱和弱积幻方关于■和■构成代数系统、环。     

完全■~(*,～)-单半群上的(*,～)-好同余

利用(*,～)-好同余对刻画了完全■~(*,～)-单半群上的(*,～)-好同余。此结果将正则半群中有关完全单半群上同余的相关结论推广到r-wide半群中,为下一步研究超r-wide半群上的好同余奠定了基础。     

PI-强■富足半群

通过对C-■-富足半群的刻画,给出了PI-强■富足半群的结构定理。