正规Ehresmann型wrpp半群.pdfVIP

2008年6月 纯粹数学与应用数学 Jun．2008 第24卷 第2期 Pure and Applied Mathematics Vb1．24 No．2 正规Ehresmann型wrpp半群 丁 寅 ， 李 刚2 ‘ (1．山东省水利职工大学基础部，山东 淄博 255188；2．山东师范大学数学科学学院，山东 济南 250014) 摘 要：众所周知，Clifford半群是正则半群类中的一类重要半群，本文定义正 规Ehresmann型wrpp半群，它是Clifford半群在wrpp半群类中的推广，给出了此 类半群的若干刻划． 关 键 词：半群；强wrpp半群；Ehresmann型wrpp半群；正规 Ehresmann 型wrpp半群 中图分类号：O152．7文献标识码：A 文章编号：1008—5513(2008)02—0311—03 1 引 言 下面介绍一些基本概念： 设 是半群，记E(S)是 的幂等元集合， 上的格林关系 一关系为 C ( )={(0，b)∈S×SI(Vx，Y∈S )axT~(S)ay甘bxT~(S)by} 7已 ( )={(0，b)∈S×SI(Vx，Y∈S )xa~(S)ya甘xb~(S)yb} ( )=C ( )n 7已 ( ) 易知，L(s) C”( )；Ve，f∈E( )，eC ( )．厂且e．厂，fe E(S) efe=e，fef=f E川． 定义1【 】半群s称为wrpp半群，如果Va∈S，C nE(s)≠ ，其中’C： 是包含0的c牛 一 类． 称为强wrpp半群，如果Va∈S，I C n厶I=1，其中厶={e∈E( )I ea=ae=口】．，此 时， n厶的唯一元记为0++． 定义2 半群 称为7 左可消的，若(Va，b，C∈S)(ab，ac)∈冗— (b，C)∈冗． 注1 设 是半群，S=[y；】即指 是半群( ∈Y)的半格Y．特别，若 是带， 则[y；】即指 的最大半格分解．S=[y； ；咖。， 】即指 是半群( ∈Y)的强半格，咖。， 是其结构同态系． ‘ 定义3 只含一个幂等元的幺半群称为幂幺半群 f unipotent semigroup)． 注2 为方便起见，矩形带I×A和幂幺半群 的直积称为矩形幂幺半群，记为I×T×A． 定义4 强wrpp半群 称为Ehresmann型wrpp半群，如果E(S)是带，且满足Ehres— mann型条件，即ET-条件 (Va，b∈ )(06)++ (E( ))0++b++ 定义5 Ehresmann型wrpp半群 称为正规Ehresmann型wrpp半群，如果E(S)是正 规带． ‘ 收稿日期：2006．05．10． 基金项目：国家自然科学基金floo71o6s)． 作者简介：丁寅(1978．)，硕士，研究方向：代数半群 312 纯粹数学与应用数学 第24卷 注3 设 是半群{ =1，2，．．．，n)的次直积．记 岛为 到 X ss的投影，使 得V(al，n2，．．．，n )∈X，(n1，n2，．．．，n )Ps,× =(ni， )，同理， 表示 到的射影，使 得V(al，n2．．．，nn)∈X，(n1，n2 ．，nn) =ni． 引理1【。】 设 是矩形幂幺半群= X X A (Q∈Y)的半格y，即 =『y；＆= X X A ]且E(s)是带．贝ⅡV( ， ， )，(i ， ， )∈ ，V(j， ， )，(J ， ， )∈ 口