纯正半群上的强同余与其格.pdfVIP

no珊al gTlle嘲；R钿llar】cerⅡel part幽n；C盥brd 8ysteDl；Nomal coⅡgr衄ce；Group 。0qgnmce· 2000MSC：20M10 §o引言和总结 众所周知，逆半群(嘶ses哪igraups)在正则半群代数理论中占有一个核心 的地位．这表现在两个方面：第一，逆半群是最早受到广泛的系统研究的正则半 群类．关于逆半群的代数理论早在20世纪80年代初期就已发展得十分完善， 形成了一个内容丰富，方法独特的代数系统渗看文献[11)；第二，逆半群的研 究思路和方法对于其它半群类的研究有着巨大的参考价值，20年来，不断有大 量的关于逆半群的研究方法和结论被应用和推广到其它正贝g半群类上，从而促 进了正则半群代数理论的整体进展．本文的研究课题就是受这—背景的启发而 展开的．我们知道，纯正半群类(orthodc。csemjgr01lps)是逆半群类的真推广．两 者比较，其共同点是幂等元集都构成子半群；但逆半群的幂等元乘积可换，纯 正半群—般无此性质．这给研究纯正半群的结构带来若干困难．本文的着眼点 是讨论纯正半群上的强同余，即其商半群为逆半群的同余．我们的目的不仅在 于用各种方法(核一迹同余对，正则核正规系等)刻画纯正半群上的各种强同余 (包括a醯，rd同余，群同余等)I而且还进一步刻画强同余格上的一些重要的格 同余，如由求迹运算确定的(完备格)同余T和由求核运算确定的(交完备格) 同余K．众所周知，同余在半群代数理论中的地位恰如正规子群在群论和理想 在环论中所占有的核心地位．换言之，研究半群的同余等价于研究半群的同态 像．因此，研究纯正半群的强同余等价于研究纯正半群的逆半群同态像；而研 究强同余格的格同余就等价于研究纯正半群的各种不同的逆半群同态像之间的 联系和相互影响．我们企图通过本文课题的研究能更系统地建立纯正半群和逆 半群之间的相互关系，从而由此得蓟关于纯正半群代数结构的更多信息． 我们知道Mado Petr诎在文献【1l中用核，迹同余对来刻画了逆半群的同 余，后来F姆nb8l皿把这种方法推广到一般的正则半群上，证明了正则半群s 上的每个同余p都是由它的核Ⅳerp和迹打p唯一决定．本文第二节把这种方 3 法推广到纯正半群上的强同余上，得到强同余格和强同余对的集合之间一一对 应．能得到此结论的关键在于把逆半群的同余对的定义加强了，多给出—个条 件(2．6的(3))，而此条件对于逆半群来说，可由前两个条件推出．虽然他们得到 的结论在形式上很相似，但对于逆半群，每一元的逆元是唯一的，纯正半群一 般无此性质，而解决这个问题主要用了纯正半群的性质(定理1．2(2))，使得结论 对于纯正半群的每一元的逆元都成立． 中把这种方法具体用在逆半群的同余格上，得到了由逆半群的任一正规迹所决 定的完备子格，给出了该子格的最大，最小元的结构．本文在第三节第四节把 Pet触的方法具体用在纯正半群的强同余格上．由于纯正半群的幂等元一般无 交换性，所以在刻画最小元时，巧妙的避开这个问题，利用幂等元集是子半群 和正规迹的定义构作出最小元的结构． 关于逆半群的同余，我们知道逆半群s上的同余是由它的幂等元类唯一决 定，也由它的核正规系完全决定．John Meakin在文[3]中利用正贝4核正规系的 概念刻画了纯正半群的同余和强同余．Preston在文[4]中用逆半群的核正规系 对s上的同余给了一个完整的描述．R觚ly等在文[2]用幂等元的正规划分的 概念给出了逆半群上的一个最大(最小)同余，使得该同余在E(s)上的限制就 是所给的幂等元的划分．本文第五节刻画了具有T．关系的两个强同余的联和 交的正则核正规系，并把R_eiⅡy对逆半群的幂等元集合的正规划分的概念推广 到纯正半群，并用它从另一角度刻画了纯正半群上强同余的结构． cli岛rd同余是一种特殊的强同余，本文在最后一节利用了互逆元的提升性 刻画了纯正半群的最小cli助柑同余，并顺带给出了群同余的某些性质． 本文中使用的概念和符号都是标准的，例如， E(s)是半群s的幂等元集 合，y(o)表示元素n所有逆元的集合，而c(s)则表示半群s上所有同余所成 的完备格，等等．我们今后在使用时都不再特别说明．