右E-完全wlpp半群上的自然偏序.pdfVIP

第33卷第l期 江西师范大学学报(自然科学版) Vd．33No．1 2009年2月 JOU-I：旺乱～L0FJIANCⅪNORMALl盯ⅦRSrI-Y(NATI瓜AI，SCI礤CE)Eeb．2009 右E一完全彬切半群上的自然偏序 刘海军， 郭小江 (江西师范大学数学与信息科学学院，江西南昌330022) 摘要：定义了右B完全tt忉半群上的自然偏序≤。．在给出偏序≤。的若干特征后，证明了任一右昂完 全础叩半群上的自然偏序≤。关于乘法右相容．同时，也给出了关于≤。左相容的右B完全咖半群的 结构刻画． 关键词：叫甲半群；右品完全半群；自然偏序 中图分类号：o152．7 文献标识码：A l引言与准备 本文将用文[1．2]中的记号和术语．未加说明的术语，均参见文献[3]． 究富足半群起了重要的作用．Tang在文[1]中又介绍了半群上的Green**．关系驴。和历一： ∥’={(口，6)∈．s×S：(V石，，，∈Isl)似舅口)，铮k舅6y}； 乡寥。’={(口，6)∈S×S：(V菇，，，∈S1)觚跏幸亭髫6』芗拍}． 易见，驴’为右同余，男一为左同余．一般地，劈c够c矽’，舅c舅+c舅一．为方便起见，记口’ 和口+分别为与8有∥‘和男一关系的幂等元，￡：。(R：。)表示半群s的含有口的矽’(舅一)一类， E(r)表示半群s的子集r中的幂等元集合，Reg(s)为半群S的正则元构成的集合． 半群s的右理想，称为右**．理想，如果对任意的茹∈，，尺：。c，．记包含口的最小右**．理想 为R一(口)．杜兰在文[2]中指出，口舅一6当且仅当尺一(口)=R一(6)． 埘御的半群为弱富足半群．进一步地，如果弱富足半群．s的E(s)构成半格，则称为弱适当半群．半群s称为 右B完全的，若对任意的e∈E(s)，有5eces．不难证明，右口完全半群的幂等元集构成右正则带(即满 足等式形=嬲)[5]．称既是加fpp又是右B完全的半群为右B完全加切半群． 下面的结果，以后将多次用到． 引理1 设S为右B完全埘咖半群，e∈E(s)，o∈s，则下列叙述等价： (1)口雳一e；(2)∞=口，且对任意石，，，∈S1，菇口g如j就岩如． 引理2 令S为右B完全埘却半群，则S的每个舅一一类含且仅含一个正则的历一类． 证 设茗∈S，且口，6∈Reg(S)nR：。，则存在口7，6’∈s，使得∞’口=口，66，6=6．显然∞’旃口， 屠一．类中的正则元属于同一个舅．类． 引理3 设s为右B完全半群，则对任意的e∈E(S)．，岱1是右**-理想． 收稿日期：加0l二18 基金(Y0嗯A044)资助项目． 作者简介：刘海军(1粥1．)，男，陕西渭南人，硕士研究生，主要从事半群理论的研究． 10 江西师范大学学报(自然科学版) 2009年 定义l半群S称为局部伊半群，若对任意的e∈E(S)，局部子幺半群e是具有性质沪的半群． 正则半群上的自然偏序[1l|．随后，Lawson研究了富足半群上的自然偏序‘1 论了富足半群上的自然偏序[1 tt，咖半群上的自然偏序． 2 自然偏序 首先，在集合S朋一上定义关系≤如下． 定义2 R～(6)． 对任意口，6∈S，R：。≤尺f’当且仅当尺一(口)c 容易验证，≤是S励一上的偏序．由定义2，下面的引理是显然的． 引理4 对任意的髫，口∈．s，有尺二’≤R：。． 命题l 令s为右B完全加枷半群，且e，，∈E(s)，则冠：+≤R芦‘当且仅当也≤母． 证 设詹子。≤R芦’，则R一(e)cR一(一．再据引理2，esl=R一(e)cR一(，)=芦1，因此 也≤母，反之，若咒≤毋，则eslc声1．从而e=乒，再据引理4，尺；。≤尺?’． 基于命题l，下面的推论显然． 推论l 令5为右B完全半群，且e，．厂∈E(s)，则e舅一／当且仅当e珂． 下面开始对右B完全彬枷半群上的