N(2,2,0)代数的E-反演半群.pdfVIP

数 学 杂 志 Vo1．34(2014) J．ofMath．(PRC) NO．5 N(2，2，0)代数的E-反演半群 邓方安 (陕西理工学院数学与计算机科学学院，陕西汉中723001) 摘要：本文研究了N(2，2，0)代数 (S，，A，0)的E一反演半群．利用N(2，2，0)代数的幂等元， 弱逆元，中间单位元的性质和同宇关系，得到了N(2，2，0)代数的半群 (S，)构成E．反演半群的条件 及元素 a的右伴随非零零因子唯一，且为a的弱逆元等结论，这些结果进一步刻画了N(2，2，0)代数 的结构． 关键词：N(2，2，0)代数；E一反演半群；弱逆元；中间单位元；非零零因子 MR(2010)主题分类号：20M07 中图分类号：O152．7 文献标识码： A 文章编号：0255．7797(2014)05—0977-08 1 引言 半群代数理论是一门重要的代数学分支，它在 自动化控制、密码学和计算机安全系统设 置等方面都有重要的实践意义．1955年，Thierin首次引入了E一反演半群的概念 1【J．1990 年，Mitsch又重新给出了E一反演半群的一个定义，研究了 一反演半群的基本性质及E一 反演半群的子直积 [2]．2010年，Siripitukdet研究了E一反演 E一半群的带同余，得到了类 似于纯正半群上的同余的若干结果 [3]．文献 [11—121分别讨论了E一可逆木一半群的性质和 具有中间幂等元的正则半群的性质．1996年作者从代数学的角度对模糊蕴含算子作了进一 步抽象，建立了与著名的Hilbert第十问题 H10有关的、比DA重写系统更广泛的N(2，2，0) 代数 4[]’记为 (S，，△，0)，这个新的代数系统带的两个半群 (S，)和 (△)是相互对偶．文 献 5『1证明了半群 (S，)和 (△)还是纯正半群．文献 6『1研究了N(2，2，0)代数的RC半群 及其性质．2011年陈露教授研究了N(2，2，0)代数的中间幂等元性质 [13]；2012年李旭东教 授研究了N(2，2，0)代数的子代数与理想 [14--15]．本文将讨论N(2，2，0)代数的E一反演半群 ( )及其性质，研究N(2，2，0)代数的(S，)元素的弱逆元与中间单位元的关系． 2 预备知识 定义 2．14【]设 是含常元 0的集合．若在 S中定义二元运算 和 △满足以下公理 Vx，Y，Z ∈ S， (F1) (yAz)=Z ( )， (F1) (xAy) Z=Y ( )， (F1) 0木X=z． 则称 (S，，△，0)是一个N(2，2，0)代数． 收稿 日期：2013．05．02 接收 日期：2013—05—29 基金项目：国家 自然科学基金资助项 目． 作者简介：邓方安 (1963一)，男，教授，主要研究方向：粗糙集理论及半群理论 数 学 杂 志 定理2．1【】若 (S，木，△，0)是一个U(2，2，0)代数，则V，，∈ ，恒有下列等式成立： (1) 木 =y／kz； (2)( )，lc= 丰(水)，(△ )△ =zzx(yzxz)； (3) 爿c爿c= 木 水 ，x／ky／kz=：c／~z／ky． 推论 [】若 (s，，△，0)是一个U(2，2，0)代数，则 (S，)和 (s，△)都是半群． 因此，U(2，2，0)代数是带有一对对偶半群的代数系统． 定理 2．2【】设集合 含有常元0，，△ ：S× S，且 ， ∈S，0木 = ， = △ ， 则V，，∈S，有下列一些等价形式： (1)(△ )名= 木(半){= (2)(水)木 = 木(木)； (3) (木)= ( ){ (4)(zZXy)ZXz=(z／Xz)／Xy{ (5)，lc(y／Xz)= ( )． 定义 2．2Va∈S，3b∈ ，使得CLb木0=