双重拟伪补MS-代数的同余特征

MS-Algebras with Double Demi-Pseudocomplementation

依双重拟伪补MS-代数是一个具有<2,2,1,1,0,0>类型的代数(L;∧,∨,°,*,+,0,1).其中(L;°)是一个MS-代数,(L;*,+)是一个双重拟伪补代数,且一元运算°,*和+之间由下面的等式联系起来:(1)x°*=x°°=x°+;(2)x*°=x*+=x**;(3)x+。=x+*=x++.本文中,我们介绍了这类代数的同余特征.特别地,我们证明了次直不可约的双重拟伪补MS-代数的同余格是一个二元素链或一个三元素链.

By a ddpMS-algebra we shall mean an algebra（L; A, V ,o,＊,＋,0,1）of type 〈 2,2,1,1,0,0〉 such that （L;o） is an MS-algebra, （L;＊,＋） is a double demi-p algebra and the unary operations ＂o＂, ＂＊＂ and ＂＋＂ are linked by the following identities： （1）x^＊=x＊~=x~＋;（2）x^＊＊=x＊＋=x＊＊;（3）x^＋ =x＋＊=x＋＋.In this paper. The congruence on such a double demi-pseudocomplemented MS-algebraL. is untroducde conclu- sion shows that if is a subdirectly irreducible ddpMS-algebra then the lattice of congruences on L reduces to a two or three-element chain.