剩余格中同余关系的简化  

Simplication of congruence relations in residuated lattices

作　　者：李莉[1] 陈宁[1] 

机构地区：[1]西安工程大学计算机科学学院,西安710048

出　　处：《计算机工程与应用》2013年第16期68-70,共3页Computer Engineering and Applications

基　　金：陕西省教育厅项目(No.12JK0931;No.12JK0947)

摘　　要：在剩余格中定义了一种只依赖于交运算和蕴含算子的同余关系,简化了L作为泛代数的同余关系的表达式,证明了这种同余关系和滤子之间仍然是一一对应的,并且这种对应关系是相应的完备格之间的一个同构。In residuated lattices, a definition of congruence relations is introduced depending on the meet opration A and the im- plication operation →, which simplifies the forms of congruence relations in sense of universal algebras. It is shown that all this kind of congruence relations are still one-to-one corresponding to all filters and indeed such a correpondence is an isomorphism between related complete lattices.

关 键 词：剩余格 同余关系 滤子 

分 类 号：O153.1[理学—数学]