赵秀兰，初元红，史西专

（黄河科技学院数理部，河南，郑州，450063）

双重伪补Ockham代数的理想与滤子同余关系的注记

赵秀兰，初元红，史西专

（黄河科技学院数理部，河南，郑州，450063）

依据双重伪补Ockham代数的核理想和余核滤子判别定理以及具有核理想和余核滤子同余关系表达式，研究了双重伪补Ockham代数的核理想和余核滤子同余关系的同余置换性，证明了双重伪补Ockham代数核理想同余关系和余核滤子同余关系是同构的.

Ockham代数；伪补代数；双重伪补Ockham代数；核理想；余核滤子；同构

0　引言

文献[1]研究了双重伪补Ockham代数，简称dpO代数，它是在有界分配格上赋予三个一元运算f,*,+的代数，属于（2,2,1,1,1,0,1）类型的代数类，其中（L;∧,∨,f,0,1）∈O（符号O表示Ockham代数），（L;∧,∨,*，0，1）∈p（符号p表示伪补代数），（L;∧,∨,+，0,1）为对偶的伪补代数，且两组一元运算f,*和f,+满足交换律（p代数，pO代数，对偶p的代数的详细信息见文献[2-3]）.在序代数结构的研究中，借助理想和滤子，特别是核理想与余核滤子，是人们认识序代数-Ockham代数类的结构及同余关系的一个重要工具.文献[4]研究了双重伪补Ockham代数的理想和滤子，给出了双重伪补Ockham代数具有核理想和余核滤子同余关系表达式以及核理想和余核滤子判别定理，证明了双重伪补Ockham代数的核理想格与其余核滤子格同构.文献[5-9]就相关Ockham代数类的理想与滤子做了研究.本文将在文献[4]的基础上，进一步讨论双重伪补Ockham代数核理想与余核滤子同余关系的性质.

1　基本知识

定义1.1[2-3]一个伪补代数（简称p-代数）是一个代数（L;∨,∧,*,0,1），它具有一个最小元0及一个……