拟恰当半群之间关系探析.docVIP

拟恰当半群之间关系探析 　　摘 要：拟恰当半群有许多类，给出丰富的例子说明了类型半群、弱类型半群与好拟恰当半群这几类拟恰当半群之间的关系。? 　　关键词：拟恰当半群；类型W半群；弱类型W半群；好拟恰当半群? 　　中图分类号：0152.7文献标识码：A文章编号：1672-3198（2008）08-0288-02?? 　　 　　作为纯正半群在富足半群中的推广，拟恰当半群吸引了许多作者的关注。El-Qallali在1981年于文献［1］中提出了类型W半群，又在1992年于文献［2］中提出了弱类型W半群，这两类拟恰当半群的结构都已经给出。最近，K.P. Shum［3］等提出了好拟恰当半群。本文致力于研究类型W半群、弱类型W半群和好拟恰当半群这两类拟恰当半群之间的关系。? 　　本文采用文献［4］、［5］和［6］中使用的记号。? 　　 　　1 基本概念和结果? 　　 　　首先回顾有关富足半群的定义和性质。对半群S的元素a和b，aL*b表示对任意的x,y∈S1当且仅当bx=by。关系R*可对偶地定义。显然，L*是S上的右同余而R*是S上的左同余。对所有关于L*的结论，对偶地有关于R*的结论。L*⌒R*记为H*。众所周知且容易证明对于正则元x,y∈S1,(x,y)∈L*当且仅当(x,y)∈L*。特别地，如果S是正则半群，则L=L*。半群称为富足半群，若它的每个L*-类和每个R*-类都包含一个幂等元。对于a∈S，a*表示La*⌒E(S)中的一个典型幂等元，a+表示R*a⌒E(S)中的一个典型幂等元。称一个富足半群为拟恰当［恰当］半群，如果它的幂等元集形成一个带［半格］。在本文中用E(S)表示半群S上的幂等元集。? 　　称半群同态?:S→T为好同态如果对S的所有元素a,b：aL*意味着a?L*b?以及aR*(S)b意味着a?R*(T)b?。称半群S上的同余ρ为好同余，如果从S到S/ρ上的自然同态是好同态。? 　　半群S上的关系μL，μR，和μ定义如下（文献［5］）：? 　　（a,b）∈μL当且仅当（ea,eb）∈L*(?e∈E),? 　　（a,b）∈μR当且仅当（ae,be）∈L*(?e∈E),? 　　μ=μL⌒μR? 　　拟恰当半群S上的关系δ定义如下（文献［1］）：对所有的a,b∈S，aδb当且仅当存在a+,a*,b+,b*使E(a+)aE(a*)=E(b+)bE(b*)。? 　　其中E(e)是带E(S)中的包含e的J-类。? 　　命题1 （文献［1］）S上的关系δ是同余当且仅当aE(a*)E(b+)b?E((ab)+)abE((ab)*)对所有的 成立。? 　　设半群S是拟恰当半群，其幂等元集为B，称S是满足IC条件的当且仅当对任意的a∈S，对某些a+∈R*a⌒E(s)，a*∈R*a⌒E(s)，a*∈L*a⌒E(s)存在双射α:＜a+＞→＜a*＞满足xa=a(xα)(?x∈＜a+＞)。满足IC条件且关系δ是同余的拟恰当半群称为类型W半群。若拟恰当半群S上的关系μ是好同余，而关系δ是同余，则称S是弱类型W半群。? 　　定义1 （文献［3］）设S是拟恰当半群。我们称以下条件为弱类型A条件：? 　　对任意的a,b∈S和e,f∈E(s)，WTA(i)αefR*(ae+)af，WTA(ii)fealL*fa(ea)*。? 　　如果拟恰当半群S满足弱类型A条件，且关系δ是S上的同余，则称S为好拟恰当半群。恰当的好拟恰当半群成为好恰当半群。? 　　2 主要结论? 　　例1 （文献［5］中的例2.2）令s={e,f,g,h,z,a,b,c}，其乘法运算Cayley表如下：? 　　 　　#8226;efghzabc 　　eefgzzabc 　　fffzzzbbz 　　ggzgzzczc 　　hzzzhzzzz 　　zzzzzzzzz 　　azzzazzzz 　　bzzzbzzzz 　　czzzczzzz 　　 　　由表中可看出，E（S）={e,f,g,h,z}为半格，S上的L*-类分别为：{a,b,c,h}，{e},{f},{g},{z},S上的R*-类分别为：{a,e},{b,f}，{c,g},{h},{z},而δ=μ=H*=ts，即S上的恒等关系，所以S是弱类型W半群。但由于gfa=za=z，ga(fa)*=ch=c,而z与c并无L*关系，因而gfa与ga(fa)*，即L*不满足条件WTA(ii)，从而S是弱类型W半群但不是好拟恰当半群。? 　　例2 （文献［5］中的例2.4）设A是由元素a生成的无限循环半群，B是由元素b及恒等元e生成的无限循环幺半群。令S=A∪B∪{1}，其中1为S的恒等元。定义S上的乘法为：ambn=b?m+n?，bnam=a?m+n?其中m,n∈Z,m＞0