毕竟正则半群中的变量.pdfVIP

第 19卷第 2期 甘 肃联合大学学报 (自然科学版) Vo1．19NO．2 2005年 4月 JournalofGansuLianheUniversity(NaturalSciences) Apr．2005 文章编号：1672-691X(2005)02。0008。03 毕竟正则半群 中的变量 石永芳 ，黄世华 (甘肃联合大学 数信学院，甘肃 兰州 730000) 摘 要：设 s是一个半群，n∈s．s的关于元素n的变量指的是S按运算 。：z，Y∈S，z。Y一 ：ray做成的半 群 (s，。)．本文给出了毕竟正则半群上变量 的一些性质并刻画了毕竟正则半群的毕竟正则保持元 ，即使得 (S，·)是毕竟正则半群的元素 a∈S． 关键词：毕竟正则半群 ；变量 ；毕竟正则保持元 中国分类号 ：O151．21 文献标识码 ：A 毕竟正则半群是 由P．M．Edwards在文 [1] V(Ⅱ)一 {．27∈SIa—axa，．27一 ．Tax)． 中首先提出并开始研究的．关 于毕竟正则半群的 设 a∈S，如果存在 ．27∈S，使得 z—xax，则称 ．27是 研究策略就是把正则半群理论 中已知的结果 向毕 a的一个弱逆．用 W (n)表示 a的所有弱逆 的集 竟正则半群进行推广．Edwards在他 的一系列论 合 ，即 文Ez-1，[3]，E4]中已经证明了正则半群理论和有 W (Ⅱ)一 {．27∈SI．27一 ．Tax)． 限半群理论 中的许多结果可以很 自然的推广到毕 S是毕竟正则半群 ，e，f6E(S)，集合 竟正则半群上．抽象半群 中的变 量是 由 John S(e，，)一 {ge— g— fg，egf— ef)． Hickey[5]首先开始研究的．T．A．Khan和M．V． 称为幂等元 e和 ，的夹心集 ． Lawson[-7]研究了正则半群上的变量．本文将正 引理 1．1[ 设 S是E．半群，则 则半群上的变量推广到了毕竟正则半群上 ，给 出 (1)Va∈S，a ∈W (Ⅱ)，e，fEE(S)，有 ea， 了毕竟正则半群上变量 的一些性质． Ⅱf，eaf∈W (Ⅱ)． (2)Va∈S，a ∈W (Ⅱ)，e∈E(S)，有 aea， 1 预备知识 aea ∈E(S)． 设 S是一个半群 ，a∈S．在半群 S上定义新 (3)Ve∈E(S)，W (P) E(S)． 的乘法运算 “o，’为 ：2．7，Y∈S，．27。Y—xay．显然 (S， 本文将采用半群理论 中的标准术语和记号， 。 )是一个半群 ，称之为 S上的一个变量．为了体 详见文 [6]． 现元素 n，我们通常将 (S，。)写成 (S，n)．抽象半群 2 主要结果 中的变量是由JohnHickey[5]首先开始研究的． 称 a∈S是毕竟正则元 ，如果存在一个正整 命题 2．1 设 S是一个半群．如果 a∈S是毕 数 n，使得 a“是正则元．如果 S中的每一个元素 竟正则保持元 ，则 a是毕竟正则元． 都是毕竟正则元，则称 S是一个毕竟正则半群． 证明 由a是毕竟正则保持元知 (S，a)是毕 半群 S中的元素 a称 为毕竟正则保持元 ，如果 竟正则半群．从而 a在 (S，n)中毕竟正则，于是存 (S，n)是毕竟正则半群．用 E(S)表示 S的幂等元 在 ∈N ，xES，使得 a一a“。z。a，即a一a