保序部分单变换半群到保序部分变换半群的同态.pdfVIP

第 13卷第 1期 杭州师范大学学报 (自然科学版) Vol|13No．1 2O14年 1月 JournalofHangzhouNormalUniversity(NaturalScienceEdition) Jan．2014 保序部分单变换半群到保序部分变换半群的同态 高京南，杨秀 良 (杭州 师范大学理学院，浙江 杭州 310036) 摘 要：设 IO和PO 分别是集合X 一{1，2，…，}上的保序部分单变换半群和保序部分变换半群．文章刻 画了 IO~到Po 的所有同态． 关键词 ：同态 ；同态核 ；同余 中图分类号 ：O152．7 MSC2010：43A22 文献标志码 ：A 文章编号 ：1674—232X(2014)01—0075—04 1 引言和预备知识 令 X 一{1，2，…，}．集合 X 上的所有保序部分单变换在复合运算下构成的半群称为X 上 的保序 部分单变换半群，记作 IOn；x 上的所有保序部分变换在复合运算下构成的半群称为x 上的保序部分变 换半群，记作 PO．．它们的许多性质已经被前人研究_1]．特别的，V．H．Fernandes口]研究了 10．的同余， 杨浩波 研究了P 的同余．本文将进一步研究 IO．到PO 的同态． 本文的映射是右映射．令 s，T为两个半群． ：S—T为映射．若对任意的．z，∈S，都有 (z) ()一 (xy)fl(，则称 为同态．由文献[2]知 ，IO．，PO．均为正则半群． 首先介绍一些符号．S为半群，S中元素 的个数记为lSl，S中的幂等元构成的集合记为 E(S)．令 a： X 一X 为映射，记 a的定义域为 dom(a)，a的像集记为 im(a)．im(a)中元素 的个数称为 a的秩 ，记为 r (a)．L 表示定义域为A 的幂等元 ，其中A x ．任取 t∈{1，2，…，11}，设集合 c,on一{L ：ACX ，IAl一 ￡)．则G 是由DO的所有幂等元构成的集合，故lGll0l—f1．记空变换为o，恒等变换为1，即 。一( ===)，一( ===)． 2 主要结果 在本文 中我们得到下面的结果 ： 定理 1 令 ：IO．一P 为任一映射 ，是同态当且仅 当 是下面之一 ： (1)对任意的a∈IO．，都有 (a)声一a； 收稿 日期 ：2013-01—21 通信作者 ：杨秀 良(1963一)，男 ，教授 ，主要从事半群代数研究．E—mail：yxl@hznu．edu．an 76 杭州师范大学学报 (自然科学版) 2014正 2 对 任 + l— i2 … + 1一 ik＼ 意 ． J， 的 n + 1一 2 … 7／_．_l— J女／ i 2 … 且J1 2 … ； 0 ， (3)存在幂等元 e，fEE(PO．)，其中eg=f且ef一 一f，有 (1)===e，(IO．＼{1})≠一f； (4)选取 eEE(PO)，对任意的a∈IO ，都有 (a)一e． 洧 如 ． ． ， a— l ， 一 ¨ 一 ．