正则半群的拟C同余.pdfVIP

2005焦 青海师范大学学报(自然科学版) 2005 第4期 JournalofQinghaiNonmlUniversity(NaturalScience) No．4 正则半群的拟 C同余 伊保林，周淑云 (青海民族学院 数学系，青海 西宁 81OO07) 摘 要：本文给出拟C半群的一个等价条件，研究了正则半群的拟C同余，用同余的核和超迹描述拟C同余 关键词：拟C一半群；拟C同余；拟C同余对 中图分类号：0152 文献标识码：A 文章编号：1001—7542(2oQ5)o4—0013—04 1 引言 正则半群的同余，已有不少人研究，Reiuy和ScheiblichhI用核和迹研究了逆半群的同余，Comes_2研 究了正则半群上的右逆同余，左逆同余，逆同余，还在_3中研究了纯正同余，而正则半群的群同余是由 FeigenbaumE4I研究的．本人在朱聘瑜，郭聿琦和岑嘉评的工作[5的基础上研究了正则半群的左 Clifford同 余 ，右Clifford同余 ，Clifford同余 】． 本文是在朱聘瑜，郭聿琦和岑嘉评的工作的基础上，给出了S强拟正则带的定义，并且建立正则半 群是拟C一半群的一个新的充要条件；进而给出拟C同余对的概念，并且建立了拟 C同余的拟C同余对 的刻划． 2 若干准备和主要结果陈述 正则半群 S称为Clifford半群，如果 ．s的幂等元在S的中心内．正则半群 S称为左C一半群如果关 于任意 a∈S，有 口S是 的子集． 定义2．1I6 正则半群 S称为拟C一半群，如果 (e∈E) ：S— eSe exe为半群同态． 定理2．2 拟C一半群是且仅是，其幂等元集为正则带(efege=efge为恒等式的带)的完全正则 半群． S的一个同余0|称为拟C同余，如果 Sip是一拟C一半群 定义2．3 设 S是正则半群，E(S)是 S的幂等元集 ．E(S)称为 S强正则带，如果 (1)关于任意 e，f，g∈E(S)有 ∈E(S) 且 efege=efge． (2)关于任意 a∈S，a ∈ (a)有 口口= 口口．aa．口口=a(口口)a． 定理2．4 设 S是一个正则半群 ．则 S为拟C半群的充要条件是，E(S)为 S强正则带． 证(==)，设 S是拟C一半群，则据定理2．2，关于任意 e，f，g∈E(S)， 有 efege=efge且S是完全正则半群，也就是关于任意a∈S有aHa(格林关系，[10])则关于任意 a’∈V、《a、奄 aaliaaa a’aaHaaaa 注意到：E(S)是带，可知 ataaa是幂等元，是 a所在的日类这一群的 单位元，所以有 a = 口(ataaa)=(ataaa)a ata=ataaa=ata．aa．ata 这里 ata，a(ata)a，aa都是属于E(S)．E(S)为 S强正则带． 收稿 日期*．2005—03—10 作者简介：伊保林 (195o一)，男(藏族)，青海玉树人，青海民族学院教授 14 青海师范大学学报(自然科学版) 20o5年 ( )设 s是正则半群，E(s)是 s强正则带．则关于任意的e，厂，g∈E(S)，口∈S，口∈v(口)有 ． ∈E(S)、efeg=efg、口口= 口(口口)口=口口．口口口口 另么 口= 口口．口= 口(口口)口．口 ：口．口口口口，口La口口口 口=(口口口口口口)．口= 口CtCl,O,．口 口Ra口口口 ．．·aHatract 口aHaa,O,Ct．口= 口口口 口= 口口aHaa口口= 口口所以．s是完全正则半群，再据定理2．2得出，．s是一个拟c一半群 ． 定义2．5 正则半群 s的全子半群K称为正规的，如果 K为s的全正则 自共轭子半群，即K为满足 E(s)属于 ，和