论文部分内容阅读
理想是反映Ockham代数类结构的一个重要工具，利用伪补Ockham代数的核理想判别定理以及核理想同余关系表达式，研究了伪补Ockham代数的核理想的性质，证明了伪补Ockham代数核理想及其同余关系是同构的。主要结果为：（1）设L是伪补Ockham代数，符号I（L），Ik（L）分别表示L的理想和核理想构成的集合，则Ik（L）是I（L）的一个子格。（2）对于任意的I，J∈，Ik（L），则R1，Rj具有同余置换性，其中同余关系R1定义为：（x，y）∈R1 （ a∈，）x∧a＊=y∧a＊（3）设L是伪补Ock