平衡双重伪补Ockham代数的理想格

The Lattice of Kernel Ideals of an Ockham-algebra with Balanced Double Pseudocomplementation

在平衡双重伪补Ockham代数上引入核理想的概念,构造了具有核理想的最小同余和最大同余关系,并论证了它们之间的性质以及两者之间的等式关系。最后,在核理想格KI(L)上定义伪补运算(KI(L)),I^(*)={x|(■i∈I)x∧i=0},将其构造为一个伪补代数。

The concept of kernel ideas on an Ockham algebra with balanced double pseudocomplementation is introduced.By discussing the properties of the kernel ideas,we describe the smallest and largest congruences having a given kernel idea I.In particular,let KI(L)be the set of kernel ideas of L,we show that(KI(L);*)is a p-algebra where the operation*is defined by I*={x|(?i∈I)x∧i=0}.