格上的幂半格与幂格.pdf

第 29卷第 1期 模 糊 系 统 与 数 学 Vo1．29．No．1 2015年 2月 FuzzySystemsandMathematics Feb．。2015 文章编号：1001—7402(2015)O1—0015—04 格上的幂半格与幂格 黎爱平 ，胡宝清 (1．上饶师范学院，江西 上饶 334001； 2．武汉大学 数学与统计学院，湖北 武汉 430072) 摘 要 ：研究了格上 的幂半格及其性质 ，建立了格上 的幂半格与幂格的关系。 关键词 ：格 ；半格 ；幂半格 ；幂格 中图分类号 ：O153 文献标识码 ：A 代数结构 的提升 ，一直是人们关注的研究领域 。1967～1968年，Tamura和 Shafer在文献[1]、文献 [2]、文献[3]中提出集上的幂半群，引领了国内外学者对各种代数结构的幂集的代数性质的研究。1990 年，胡宝清教授首先在文献 [4]中对格的代数结构作了提升，并给出了提升格 的一些很好的性质。2002 年，明平华教授与郑崇友教授在文献E5]中给出了幂格的概念 。尔后国内外学者在一些文献中探讨 了幂 格 的性质 ，获得了一些很好的结果。本文讨论格上的幂半格与幂格之间的联系。在无特别声明时，P() 均表示非空集合 的幂集。 定义 1 设 是一个非空集 ，“^”是 的一个二元运算 。若V 口，b，cES，有 (口八6)八c一口^(6^f)， 则称 (，^)是一个半群 ，简记为 ．若半群 的非空子集 丁对 的运算 ^封闭，即Vz，Y∈ zAY∈ 丁，则称 为 S的子半群。 若半群 ．S满足 ：V口，bES，有 口八b=b八口，则称 ．s是一个可换半群 。 若可换半群 满足 ：VaES，有 口A口一口，则称 是一个半格[63。 若半格 的非空子集71对 的运算也作成一个半格 ，则称 ，，为 的子半格 。 附注 ：设 (．s，A)是一个半格 ， ≠T s，容易验证 ：T为 ．s的子半格的充要条件是 T为 -s的子半 群 。 定义2 设 (，A)是一个半格 ， P()一{ }，在 中定义运算 ：VA，BE ，A^B一{口Abf口∈ A，bEB}。 (1)若 (，^)是一个半群，则称 为 的一个幂半群 。 (2)若 (，八)是一个半格 ，则称 为 的一个幂半格。 引理 1 设 (S，^)是一个半格 ， P()一{ }，则 (1) 是 的一个幂半群的充要条件是VA，BE ，AABE ． (2) 是 ．S的一个幂半格的充要条件是VA，B∈ ，A^B∈ 且 ^A A 证明 (1)必要性 ：显然 。 收稿 日期 ：2013一II一09 基金项 目：国家 自然科学基金资助项 目70771081)；江西省教育厅科学技术基金资助项 目(GJJll611) 作者简介 ：黎爱平(1958一)，男，江西丰城人，上饶师范学院教授，研究方 向：格论，软代数，幂格 。 模 糊 系 统 与 数 学 2015正 充分性 ：若VA，BE ，则 ^B∈ ，即 “八”是 的一个二元运算。 VA，B，C∈ ，设 zE (^B)^c，即存在aEA，bEB，fEC，使得z一 (口^6)^f。从而z一 (口^6)^ c一口八(6^c)∈A八(B^C)，因此 (A^B)八C A^(B^C)。 同理可证 ，(^B)^C2A^(B^C)，从而 ( ^B)^C=A^(B^C)。因而 (，A)是一个半群 。因 此 (，^)是5的一个幂半群。 (2)必要性 ：显然 。 充分性 ：若VA，BE ，A^B∈ 且 A A 设 xEA^B，即存在 盘EA，bEB，使得 z一口^b．由 于 (S，八)是一个半格 ，于是x-~-a八b=b八aEB^A 从而 ^B B^A．同理可证 ：B^A A八B，因此 A八B=B^A 再设xEA，则 — ^ EA^A，即