拟伪补MS-代数的理想
发布时间：2018-08-12 09:13
【摘要】：一个拟伪补MS-代数,是指一个具有2,2,1,1,0,0型的代数(L;∧,∨,°,*,0,1).其中,(L;°)是一个MS-代数,(L;*)是一个拟伪补代数,而且L上的两个一元运算x(?)x°和x(?)x*可交换,即x°*=x*°.设L是一个拟伪补MS-代数,且I是L上的一个理想.如果对任意的x∈L,有x∈I(?)x°*∈I,则称I是L上的一个(O,*)-理想.在本硕士论文中,我们主要研究了拟伪补MS-代数L上的(O,*)-理想的布尔同余核关系.特别地,我们证明了:(1)在拟伪补MS-代数L中,使得商代数(L/θ;*)是一个布尔代数的(O,*)-理想I刚好是L上的同余核θ.(2)由所有(O,*)-理想组成的集合是L上的一个子格,且同构于L的同余格Con L的区间[G,t],其中G表示为L上的Glivenko同余,t表示为L上的泛关系.
[Abstract]:A pseudo-complement MS- algebra is a algebra of type 2 ~ 2 ~ 1 ~ 1 ~ 1 ~ 0 ~ 0 (L; A, V, O ~ 0 ~ 1). Where, (L; 掳is a MS-algebra, (Ln *) is a pseudo-complement algebra, and two univariate operations x 掳and x (?) x * on L are commutative, that is, x 掳(?) x * 掳. Let L be a pseudo-complementary MS-algebra and I be an ideal on L. If, for any x 鈭，
本文编号：2178608
[Abstract]:A pseudo-complement MS- algebra is a algebra of type 2 ~ 2 ~ 1 ~ 1 ~ 1 ~ 0 ~ 0 (L; A, V, O ~ 0 ~ 1). Where, (L; 掳is a MS-algebra, (Ln *) is a pseudo-complement algebra, and two univariate operations x 掳and x (?) x * on L are commutative, that is, x 掳(?) x * 掳. Let L be a pseudo-complementary MS-algebra and I be an ideal on L. If, for any x 鈭，
本文编号：2178608
本文链接：https://www.wllwen.com/kejilunwen/yysx/2178608.html
