平衡伪补Ockham代数的滤子及其同余关系  

Filters and Congruences of a Balanced Pseudocomplemented Ockham Algebra

作　　者：赵秀兰[1] 刘洁[1] 

机构地区：[1]黄河科技学院数理部,河南郑州450063

出　　处：《模糊系统与数学》2014年第5期51-56,共6页Fuzzy Systems and Mathematics

基　　金：河南省教育厅科学技术研究重点项目(12B110017);黄河科技学院2011年度自然科学科研项目(KYZR201116)

摘　　要：一个平衡伪补Ockham代数是代数(L;∨,∧,f,*,0,1),其中(L;f)是Ockham代数,(L;*)是伪补p-代数,且一元运算f和*满足条件(x∈L)f(x*)=x**及[f(x)]*=f2(x)。描述了平衡伪补Ockham代数L的滤子及其同余关系的性质,证明了L的*-滤子格与其核理想格同构。A balanced pseudocomplemented Ockham algebra is an algebra（L;∧,∨,f,^＊,0,1）,in which（L;∧,∨,f,0,1）is an Ockham algebra,（L;∧,∨,^＊,0,1）is a pseudocomplemented algebra,and the operations x｜→f（x）and x｜→x^＊satisfy the identities f（x^＊）=x^＊＊and [f（x）]^＊=f^2（x）.Some properties of filters and congruences on a balanced pseudocomplemented Ockham algebra have been descripted.We show that the lattice of ^＊-filters and the lattice of kernel ideals of a balanced pseudocomplemented Ockham algebra are isomorphic.

关 键 词：OCKHAM代数 余核滤子 同余关系 同构 

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