毕竟U-丰富纯整群并.pdfVIP

第7卷 第24期 2007年12月 科 学 技 术 与 工 程 VoI．7 No．24 Dec．20o7 1671．-1819(2007)24—6275·03 Science Technology and Engineering @ 2007 Sci．Tech．Engng． 毕竟U．丰富纯整群并 粱 超 (德州学院数学系，德州253023) 摘 要 给出了毕竟U．丰富纯整群并的定义，并对其进行了刻画。 关键词 膨胀 毕竟U一丰富半群 毕竟U·丰富纯整群并 中图法分类号 O152，7； 文献标识码 A 1 引言和预备知识 条件，如果 (v。，6∈s)(。6) 。( )。 6 ， 为了强调U是幂等元集E(S)的子集，记为S 其中D( )={(e,Jq∈U×UI(了g∈ )engLf}。U一 为S(U)。在半群S(U)上定义～格林一 关系 ， 丰富半群S(U)称为U一丰富纯整群并，如果U是半 ， ，称半群S(U)是U．半富足半群，如果S的 群S(U)的一个子半群且S(U)满足ET条件。 每个 ．类和 ．类至少包含U中一个元素。与 定理1．1【5 设S是一个半群，下列叙述等价： 半群S上的格林关系相比，Lawson【11已发现 不 (i)存在 E(S)，S(U)是u一丰富纯整群并； 一 定是S上的右同余，相应地 不一守是S上的 (ii)S=[y；S ( )]，其中S ( )( ∈Y)是 左同余，因此，Fountain，Gomes，Gould 2 称半群S 矩形幺半群，U=U 是S的一个子半群； (U)满足(CR)[(cL)]条件，如果 是S上的右 (iii)存在UC_E(S)，S(U)是满足c条件的u一 同余[ 是S上的左同余]。一个u．半富足半群S 半超富足半群，且U是S的子半群； ( )称为Ehresmann半群，如果S满足(CR)和(CL) 由定理1．1，称S=[Y；S ( )]是u一丰富纯整 条件且u是S的一个子半群。投射集位于中心的 群并，即指S是矩形幺半群S ( )(Ot∈Y)的半格， Ehresmann半群称为C—Ehresmann半群。C—Ehres— 且U=U 是s的子半群。 mann半群的结构已被Gomes，Gould 3 描述了。事 设S是半群，s=[Y；S ]即指S是S (Ot∈Y)的 实上，这样半群可被看作U_半富足半群范畴内的一 一 个半格，特别，若S是带，则[Y；S ](Ot∈Y)是S的 种广义的Clifford半群。另一方面，对半群S( )中 最大半格分解。 的任意元素。，何勇 定义了a的轨道Uo={M∈UI 2 毕竟U一丰富纯整群并 。=。=。 }及其等价关系 ={(。，6)∈s×S I = }。易见 是含。的等价类。称半群S(U)是 设S是半群， ≠UC_E(S)，VOt∈S。在半群S u一丰富半群，如果S的每个 ．类含有u中一个元 上定义等价关系： 素。易证 U类至多含有u中一个元素。 nU中 EU= {11,∈UI(V ∈S)lZ~X,=0 }， o 的唯一元素，如果存在的话，记为。 。u一丰富半群 E ={11,∈UI(V ∈S)X,~lZ= 。}， 和左C．Ehresmann半群的结构已在文献[4]被研究，