具有稳定子集的有限奇异变换半群的幂等生成元.pdfVIP

2010年 11月 四川师范大学学报 (自然科学版) NOV．．2010 第33卷 第 6期 Joum~ ofSiehuanNorm~Unive~ity(NaturalSeience) V01．33．No．6 具有稳定子集的有限奇异变换半群的幂等生成元 高荣海 (1．贵州师范大学 学报编辑部 ，贵州 贵阳 550001； 2．贵州师范大学 数学与计算机科学学院，贵州 贵阳 550001) 摘要：设 s( 4)是具有稳定子集A的有限奇异变换半群．借助已有的研究方法 ，首先考虑了半群 S ( ，A)中E(I，一，)的图论性质，得到了与 (．，一)相关联的有向图是极大强完备的．其次，确定了．，一中所 有 由幂等元生成的元素以及 由E(一。)的两个子集 ，J、，2生成的半群结构．这些结果对进一步研究该类半 群的结构奠定了基础． 关键词：稳定子集；奇异变换半群；幂等生成元 ；极大强完备 中图分类号：0152．7 文献标志码 ：A 文章编号：1001—8395(2010)06—0778—06 doi：10．3969／j．issn．1001—8395．2010．06．012 在半群理论中，由于任何半群都可以嵌人到某 f I ， 当∞∈B时， 个变换半群，因此 ，研究变换半群及其子半群是极 = {xg-1厂，当 ∈ ＼且xg_。 ∈A时， 其重要的，特别是对有限变换半群的研究．自20世 Lxg～ ， 当 ∈ ＼日且 xg～ A时， 纪60年代 ，许多学者对变换半群及其子半群的结 容易验证 ∈S( ，B)． 构和性质进行 了广泛深入的研究u J．而在研究半 定义映射 O：S( ，A)一5( ，B)．()0= ( 群的结构和性质中，幂等元秩以及幂等元生成关系 ∈S( ，A))，如前定义．下面验证 0是 S(X ，A) 是一个重要 的研究 内容 引．2006年 ，B．0．Xu 一S( ，)的一个同构映射． 等H刻划了奇异保序变换半群中局部幂等元生成 1)验证 0保持运算，V ，∈S(X ，A)，V ∈ 的极大子半群的结构，将具有该结构 的子半群推广 ， 有 ( )0=( )( )(也即 = )． 到奇异变换半群中，并刻划了该类子半群 的Green (i)当 ∈B时， = ∈B，从而有 ( ) 关系以及 Green 关系 ．本文将继续讨论该类半 = ( )厂 = = ～o#f= ，因此 群的幂等元生成关系． 0；B= ． 设x 是n元有限集，Sing为 上的奇异变换 (ii)当 ∈X ＼B且 。。∈A时，则 =xg 半群．4为X 的任意一个非空子集，令 S( ，A)： ∈B且 ( ) ∈A，因而 =(舾)厂 = {∈Sing：V ∈Aj ∈A}，则 5( ，A)在变换的 xg =xg 0 = ．所以 = ． 合成下构成Sing的一个子半群，并称之为奇异变 (iii)当 ∈ ＼B且xg一 A时，贝0 =xg一 换半群Sing对 的一个稳定子半群或者称为具有 g∈X ＼B．当( )g一卢EA即(xg一)qB∈A，有 稳定子集A的奇异变换半群，得到半群 5( ，A)(凡 =