平衡拟补Ockham代数的理想格

摘要

一个平衡拟补Ockham代数是代数(L;∨,∧,f,0,1),其中(L;f)是O ckham代数,(L;*)是拟补p-代数,且一元运算f和*满足条件(x∈L)f(x*=x**及[f(x)]*=f2(x).主要讨论平衡拟补Ockham代数的理想格,给出了核理想的特征表示,并且证明了由核理想生成的同余格是一个p-代数.