关于剩余格的理想.pdfVIP

　第４５卷　第４期 山　东　大　学　学　报　（理　学　版） ２０１０年４月　 　 　 　 　 　 　Ｖｏｌ．４５　 Ｎｏ．４　 　 　 　 　 ＪｏｕｒｎａｌｏｆＳｈａｎｄｏｎｇＵｎｉｖｅｒｓｉｔｙ（ＮａｔｕｒａｌＳｃｉｅｎｃｅ） Ａｐｒ．２０１０　 　文章编号：１６７１９３５２（２０１０）０４００６６０６ 关于剩余格的理想 １ ２ 刘春辉 ，徐罗山 （１．赤峰学院初等教育学院，内蒙古 赤峰０２４００１；２．扬州大学数学科学学院，江苏 扬州２２５００２） 摘要：研究了剩余格的理想，给出了理想的一些基本性质并利用理想的概念在剩余格上构造了一个同余关系，证 明了一个剩余格在该同余关系下的商代数还是剩余格，获得正则剩余格上理想的若干等价刻画定理。 关键词：剩余格；正则剩余格；理想；同余关系；刻画定理 中图分类号：Ｏ１４１１；Ｏ１５３１　　　文献标志码：Ａ Ｏｎｉｄｅａｌｓｏｆｒｅｓｉｄｕａｔｅｄｌａｔｔｉｃｅｓ １ ２ ＬＩＵＣｈｕｎｈｕｉ，ＸＵＬｕｏｓｈａｎ （１．ＣｏｌｌｅｇｅｏｆＥｌｅｍｅｎｔａｒｙＥｄｕｃａｔｉｏｎ，ＣｈｉｆｅｎｇＵｎｉｖｅｒｓｉｔｙ，Ｃｈｉｆｅｎｇ０２４００１，ＩｎｎｅｒＭｏｎｇｏｌｉａ，Ｃｈｉｎａ； ２．ＳｅｃｔｉｏｎｏｆＭａｔｈｅｍａｔｉｃｓＳｃｉｅｎｃｅ，ＹａｎｇｚｈｏｕＵｎｉｖｅｒｓｉｔｙ，Ｙａｎｇｚｈｏｕ２２５００２，Ｊｉａｎｇｓｕ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｔｈｅｉｄｅａｌｓｉｎｒｅｓｉｄｕａｔｅｄｌａｔｔｉｃｅａｒｅｓｔｕｄｉｅｄ．Ｓｏｍｅｐｒｏｐｅｒｔｉｅｓｏｆｉｄｅａｌｓａｒｅｇｉｖｅｎ，ａｎｄａｃｏｎｇｒｕｅｎｃｅｒｅｌａｔｉｏｎｉｓ ｓｔｒｕｃｔｕｒｅｄｂａｓｅｄｏｎｔｈｅｎｏｔｉｏｎｏｆｉｄｅａｌｓｉｎｒｅｓｉｄｕａｔｅｄｌａｔｔｉｃｅ．Ｉｔｉｓｐｒｏｖｅｄｔｈａｔｔｈｅｑｕｏｔｉｅｎｔａｌｇｅｂｒａｏｆａｒｅｓｉｄｕａｔｅｄｌａｔｔｉｃｅ ｕｎｄｅｒｔｈｉｓｃｏｎｇｒｕｅｎｃｅｒｅｌａｔｉｏｎｉｓａｌｓｏａｒｅｓｉｄｕａｔｅｄｌａｔｔｉｃｅ．Ｓｏｍｅｃｈａｒａｃｔｅｒｉｚａｔｉｏｎｔｈｅｏｒｉｅｓｏｆｉｄｅａｌｓｉｎｒｅｇｕｌａｒｒｅｓｉｄｕａｔｅｄ ｌａｔｔｉｃｅａｒｅｏｂｔａｉｎｅｄ． Ｋｅｙｗｏｒｄｓ：ｒｅｓｉｄｕａｔｅｄｌａｔｔｉｃｅｓ；ｒｅｇｕｌａｒｒｅｓｉｄｕａｔｅｄｌａｔｔｉｃｅｓ；ｉｄｅａｌｓ；ｃｏｎｇｒｕｅｎｃｅｒｅｌａｔｉｏｎ；ｃｈａｒａｃｔｅｒｉｚａｔｉｏｎｔｈｅｏｒｙ ０　引言 随着计算机科学技术的迅速发展，非经典数理逻辑已成为人工智能领域最具活力的研究方向之一。而 非经典数理逻辑的一个重要方向是对有关逻辑代数系统的研究，这方面的研究成果不仅促进了非经典数理 ［１１２］ 逻辑的发展，而且丰富了代数学的内容 。在众多的逻辑代数系统中，由Ｐａｖｅｌｋａ引入的剩余格是比较重 要且应用相当广泛的代数系统。Ｐａｖｅｌｋａ以Ｌｕｋａｓｉｅｗｉｃｚ公理系统为背景，将剩余理论引入到模糊逻辑的研 ［７］ 究中，建立了一类相当宽泛的逻辑结构，并在此基础上成功地解决了Ｌｕｋａｓｉｅｗｉｃｚ公理系统的完备性问题 。 在现代模糊逻辑的理论中，剩余格是公认的最重要的代数结构，它已成为模糊逻辑中相当理想的代数框架。 更值得注意的是，非经典数理逻辑中基于不同的蕴涵算子而构造出来的许多逻辑代数系统，诸如ＭＶ代数、 ＢＬ代数、格蕴涵代数和ＭＴＬ代数等都含有一个剩余格结构