关于正则＊-半群的注记.pdfVIP

2012血 青海师范大学学报 (自然科学版) 2O12 第 1期 JournalofQinghaiNormalUniversity(NaturalScience) NO．1 关于正则 *一半群的注记 伊保林 (青海民族大学 数学学院，青海 西宁 810007) 摘 要：本文证明了，lEA0*一半群是纯正半群、存在这样 的正则 *一半群 s，p是它的同余时，s／o不是正则*一半群 关键词：正则*一半群 ；纯正半群 ；同余 中圈分类号：O152 文献标识码 ：A 文章编号：1001—7542(2012)O1—0025—03 正则*一半群的概念是 由T．E．Nordahl和 H．E．Scheiblich[1]给出．M．Yamada[2，3，4]和 T．Imaoka Es]进行了进一步研究．右逆半群和左逆半群 已经 由P．S．Venketesan[6、7]研究，朱凤林研究了具有逆断面 的纯正半群Eg]． 本文证明了，正则 *一半群是纯正半群 、存在正则 *一半群 S，p是它的同余时，s／p不是正则 *一半群． 本文未给出的概念 、符号见[8] 1 若干准备 设 S是正则半群，E(S)为 S的幂等元集 ，V(a)为 a的逆元集． 定义 1．ic 如果一个半群 S上有一个一元运算 *：S—S，它满足 对 V a、b∈S，(1)aa*a—a．(2)(a*)*一a．(3)(ab)*=b*a*． 则称 S是正则 *一半群． 在正则 *一半群 S中，a*aa*===((a*aa*)*)*==：(aa*a)*一a*．所以a*是 a的一个逆元 、S是正 则半群． 定义 1．2Ⅲ 设 S是正则半群 ，E(S)为 S的幂等元集．E(S)的一个子集 F被称为 P一组 ，如果满足 ：(1) 对 VaES，存在唯一一个逆元 a*使得 aa*、a*a属于 F． (2)对 Va∈S，a*Fac F，这里 *一元运算由(1)确定． (3)F E(S)． 定理 1．3[ 正则半群 S是正则 *一半群 的充分必要条件为 ：它至少有一个 p一组． 定义 1．4嘲 设 s是正则半群 ，E(S)为 S的幂等元集．如果 e、fEE(S)时，有 ereE(S)．则称 S是纯正半群．(OrthodoxSemigroups) 定义 1．5[正则半群 S称为右逆半群 (Rightunipotentsemigroups)，如果 E(S)是左正则带 (右正则带) 即 V e、f∈E(S)满足 efe—el(efe=：=re)． 定理 1．6[川 S是正则半群 ，那么下列几条等价 (1)S是右逆半群． (2)每一个 R一类仅有一个幂等元． (3)对 Ve∈E(S)Va∈S 和 a∈V(a)有 aea一ae． (4)对 V aESa、a ∈V(a) aa一aa”． 若 J0是正则半群 S的一个 同余 ，我们知道当s是纯正半群时，s／o也是纯正半群．当s是右逆半群时，S／ p也是右逆半群．当S是逆半群时，s／o也是逆半群 (InverseSemigroups)．并且许多结论在 s／o上成立． 那么当S是正则 *一半群时，s／0是不是正则 *一半群．我们得到否定的结论． 收稿 日期 ：2011—09～10 作者简介 ：伊保林(196O一)，男 (藏族)，青海 民族大学教授 ，青海省优秀专家 26 青海师范大学学报 (自然科学版) 2012卑 2 主要结果及其证 明 定理 2．1 若 S是正则 *一半群 ，则 S是纯正半群． 证明 设 S是正则 *一半群 ，E(S)为 S的幂等元集，e、f∈E(S)．那么 e*e* =(ee)*= e*．幂等元在 *运算下的象是幂等元． ef= ee*elf*f— ee*e*eff*f*f— ee* (ee*)*ff* (ff*)* 因为 S是正则 *一半群 由定理 1．3，令 F是 S的一个 p一组．再由定义 1．2的(1)