R_0代数上的MP滤子格

在R0代数M的全体M P滤子集F(M)上定义格运算和伴随对,证明如此定义的M P滤子格F(M)也构成一个剩余格。在R0代数M的强素M P滤子子格F P(M)上引进一个逆序对合对应,得到了强素M P滤子子格F P(M)是一个拟布尔代数。