关于rpp半群的fuzzy同余注记.PDFVIP

第 46卷第 7期 数学的实践与认识 、，01．46．No．7 2016年 4月 MATHEMATICSIN PRACTICE AND THEORY Apr．，2016 关于 rpp半群的 fuzzy同余注记 李春华 ，徐保根 ，王广富 ，范自柱 ，黄华伟 。 (1．华东交通大学理学院，江西 南昌330013) (2．贵州师范大学数学与计算机科学学院，贵州 贵阳550001) 摘 要：半群 s称为 rpp半群，若它的所有 L 类都含幂等元．rpp半群 s称为 C—rpp半群，若它的幂等元集含于S的中心．这里利用半群上fuzzy同余的概念，引 入了rpp半群上fuzzy左好同余的定义并得到了它的一些性质，给出了此类半群的 刻画，并对具有某种特性的rpp半群 (如强rpp半群和完备rpp)作了讨论．最后，得 到了一类rpp半群为完备rpp半群的充要条件．以上结论是对 Fountain关于rpp 半群研究结果的推广和补充． 关键词：rpp半群；完备rpp半群；正规带；fuzzy左好同余 rpp半群是 目前国内外半群学者极大关注的一类广义正则半群，有许多半群学者对这类 半群进行了研究 (参见 1【—4】)．半群上的同余则一直是半群学者研究主题之一 [5-s】．在国内， 郭小江及罗彦锋等 [s-lo】率先进行了富足半群上好同余的研究．作为对应研究，笔者在文 l【1】 中定义了富足半群上的fuzzy好同余关系．此后，笔者又分别对各类富足半群上的fuzzy好同 余进行了研究，并得到了一些结果 (参见 [12—15】)．作为推广，这里利用半群上fuzzy同余的概 念，给出了rpp半群上 fuzzy左好同余的定义并得到了它的一些性质，得到了此类半群的刻 画，并对具有某种特性的rpp半群 (如强rpp半群和完备rpp)作了讨论．最后，给出了一类 rpp半群为完备rpp半群的充要条件． 1预备知识 Fountain在文 [16】中定义了半群 上的等价关系 为：s的元素 a，b符合关系 当 且仅当 (Vx，Y∈S)(0 =ay bx：by)．且易知 (Va，b，e：e ∈S)aLe必有 a：ae．显然， 关系为s上的右同余．一般地，L L，但当a，b是正则元时，aLb当且仅当aLb．为方便 记，用 ：表示含 a的 类，E(T)表示 中幂等元集．记 a 为E()中元．令s为半群， 记 ={e∈E(S)f(Vx，Y∈S) ，ax=ay e=ey}．半群 称为rpp半群，若它的 所有 类都含幂等元；rpp半群 s称为 C—rpp半群，若它的幂等元集含于 的中心．显 然，在rpp半群 s中，(Va∈s)Ma：E(L)．rpp半群 s称为强rpp半群，若Va∈S，有唯一 e∈M。，满足n=ea，为后面讨论方便，把这样唯一元素记为a00． 收稿 日期：2013．09．07 资助项 目：国家 自然科学基金 1136102461263032；江西省自然科学基金 (20122BAB201018) 数 学 的 实 践 与 认 识 46卷 定义 1．11【7]令 B为带，作如下定义： 1)若V，，z∈B，有 ：cyz= z，称B为矩形带； 2)若 ，，z，t∈B，有 z匆=xtzy，称 B为正规带． 由文 1【7]，带 B为正规的当且仅当它为矩形带 B 的强半格 其中 ∈ 为方便，记 B。为 (Ve∈B)E(e)．据郭小江 1【7]定义，强 rpp半群 s称为完备rpp半群，若它的幂等元 集为正规带，且L 为 上的同余． 引理 1．11【7]令 s为幂等元集为正规带的强 rpp半群，作如下定义：aTb§n=eb／，其 中n，b∈S，e，，∈E(6。。)，则 为s上的同余，且E(a∞)=E(6。。)并有aLb aTL (S／7) ． 令 s为半群，称映射 ：S×S一 0【，1]为s上的fuzzy关系． 定义 1．21【8]令 ，为半群 s上的两个 fuzzy关系，Vz，，0，b∈S，