具有CEPGV——逆半群的正则同余与群同余.pdfVIP

第27卷第4期 武 汉 工 业 学 院 学 报 Vol_27No．4 2008年 l2月 Journal of Wuhan Polytechnic University Dec．2oo8 文章编号：1009-4881(2008)04-0110-03 具有CEPGV~逆半群的正则同余与群同余 彭章艳 ，王玉玲 (1．武汉工程大学 理学院，湖北 武汉 430074；2．天津商业大学 理学院，天津 300134) 摘 要：主要证明了具有cEPGV一逆半群s，当E为s的幂等元半格时，RC(s)为c(s)的子 格 ；tr：p一印 为S上正则同余格 RC(S)到E上 同余格 C(E)上的完全 同态，p0_-PIn，p— I。 还研究了具有CEPGV一逆半群上的群同余，并证明了p 为s上同余格 C(s)到S上群同 余格上的同态。 ～ 关键词：CEP；CEPGV一逆半群；正则同余；群同余 中图分类号：0152．7 文献标识码 ：A z’， 使得oEG，则称 s为 霄一群。设e为订一正则 1 预备知识 半群s的幂等元，则 ≤ 。若 ∈ ，且 E 通常地，c(s)表示半群s的同余格，E(s)或E BegS，则对任意n≥r()， ∈C,e。若S是 叮r一正则 表示半群s的幂等元集。T为s的子半群，称T上 半群，且S中的每一个正则元均是完全正则的，则称 的同余P可以扩张到s上的同余P，若PlT=p。若 s是GV一半群。若 S是GV一半群且s中每一个正 s的任何一个子半群上任何一个同余均可扩张为s 则元有唯一逆元 ，则称 s是GV一逆半群。 上的同余 ，则 s具有同余扩张性质，记 CEP。P∈C 引理1．1 若 s具有CEP，则E(s)≠西； (S)，Kerp表示同余 P的核，trp表示同余P的迹。 引理1．2 若S具有CEP，T为 S的子半群，则 kerp={a∈Slape了e∈E(s)l}，trp=PlE(s)。s为 T具有CEP； 半群，RegS表示 S上所有正则元集。半群 S的元是 引理1．3 若S具有CEP，则S为周期半群； 盯一正则的，若存在m∈z 且 ∈S使得 口=amxa。 引理1．4 若 s为半群，则下列条件等价： 若S中每一个元都是 竹一正则的，则称 S是 1t一正 (i)S为GV一逆半群； 则半群 ¨ 。s为 一正则半群，在 s上定义L 、 (ii)S为 一正则的，且 Ⅱ=axa：=：~ax=xa； R 、H 、J 。 (iii)S为 霄一群的半格； bc：~a 。‘Lb 。‘ (iv)S为GV一半群且对任意e ∈E(s)，存在 ⅡR bc：~a ‘Rb 。‘’ n∈z 使得 ( = )“。 H =R n 引理1．5 令S=US为具有cEPGV一逆半群，