E-反演半群上的模糊纯整同余.pdf

第 29卷第 2期 模 糊 系 统 与 数 学 Vo1．29，No．2 2015年 4月 FuzzySystemsandMathematics Apr．。2015 文章编号 ：1001—7402(2015)02—0083—09 E一反演半群上的模糊纯整同余 范兴奎 ，陈倩华 (青岛理工大学 理学院，山东 青岛 266520) 摘 要 ：利用 “弱逆”探讨 了E一反演半群 上 的模糊纯整 同余 。借助于由E()生成的子半群E()上的 模糊正规同余r及 的模糊正规子半群 K组成 的模糊 同余对(K，r)刻画了E一反演半群 上的模糊纯整 同余 。证 明了E一反演半群 上每个模糊纯整 同余都是 由它的模糊核和模糊超迹所唯一确定的。 关键词 ：E一反演半群 ；模糊纯整 同余 ；模糊 同余对 中图分类号 ：Ol52 文献标识码 ：A 1 若干准备 Thierrin[1]于 1952年提出了E一反演半群 的概念 。设 为半群 ，E()为 的幂等元集合 。若对任意 口∈S存在z∈S使得 船 ∈E(S)，则称半群 为 E一反演的。因任一半群添加一个零元就是 E一反演的， 故 E一反演半群类几乎囊括了所有半群 ，如正则半群 ，毕竟正则半群 ， 一正则半群 ， 一反演半群等都 属于E一反演半群。由文献[23可知，半群 5是E一反演的充分必要条件就是半群 中任意元素a的弱逆 集合 W (a)==：{a∈S aa一口)≠ ．近年来有关 E一反演半群的研究受到了诸多学者们的关注口 ]。 自1965年Zadeh[g给出了模糊集的概念之后，MuraliL1，NemitzL1，Samhan[1等诸多学者对半群 上的模糊等价 、模糊 同余等关系进行了系统研究。利用半群 的模糊核与模糊迹刻画半群上的模糊 同余是 研究半群模糊同余的主要方法之一 。A1一Thukair在文献[13]中首次引入模糊 同余对的概念并证 明了逆 半群上的每个模糊同余都是由其模糊核与模糊迹所唯一确定的。Li和Chenc14~在正则半群上利用模糊 核与模糊迹组成的模糊 同余对刻画了正则半群上的模糊同余 。Chen和Fan[】5]将这一结果推广到 一反 演半群上，用 “弱 一逆”研究了 一反演半群上的模糊强 一同余，并借助于由P上的模糊正规等价关 系 及模糊正规子集 K组成的模糊强 一同余对(，K)~lJ画了 一反演半群上的模糊强 一同余。本文 在此基础上将进一步推广，利用 “弱逆”来探讨 E～反演半群 上的模糊纯整同余。借助于由E(5)生成的 子半群E()上 的模糊正规 同余 f及 的模糊正规子半群 组成的模糊 同余对 ( ，z-)来刻画 反演 半群 上的模糊纯整 同余 。进而证明E一反演半群 上每个模糊纯整 同余都是 由它的模糊核及模糊超迹 所 唯一确定的。本文将采用半群理论及模糊集理论 中的标准术语和记号 ，如Reg(S)表示半群 的所有 正则元集合，R，L，Ⅳ表示半群 中的Green关系，末定义的概念、术语、记号等参见文献 [16]、文献 L17J、文献 L18-J、文献L19_J。 定义 1．1 设 为E一反演半群。称 上的同余P为纯整同余，如果它满足： 收稿 日期 ：2013-11．19 基金项 目：山东省 自然科学基金资助项 目(ZR2010AL010) 作者简介 ：范兴奎 (1972一)，男，山东嘉祥人，青岛理工大学理学院副教授 ，博士，研究方 向：半群代数理论；陈倩华 (通信作者) (1973一)，女，山东济宁人，青岛理工大学理学院讲师，研究方 向：模糊数学。 84 模 糊 系 统 与 数 学 (i) (VaES)(]aEW (口))apaaa， (ii)(Ve，fEE())efefpef． 设 是 E一反演半群上的模糊 同余 。若对任意 ES，K (z)一 V (z，e)，则称S的子集 为 的 模糊核。若对任意e，fE (E(S))，T (，-厂)一 (e，-厂)，则称模糊关系7为 的模糊超迹 。易证 E一反演半 群 上的模糊关系 ID为模糊纯整 同余的充分必要条件为 10f一 {(a，6)∈S×S：p(a，6)≥￡}(V