【摘要】：一個(gè)擬偽補(bǔ)MS-代數(shù),是指一個(gè)具有2,2,1,1,0,0型的代數(shù)(L;∧,∨,°,*,0,1).其中,(L;°)是一個(gè)MS-代數(shù),(L;*)是一個(gè)擬偽補(bǔ)代數(shù),而且L上的兩個(gè)一元運(yùn)算x(?)x°和x(?)x*可交換,即x°*=x*°.設(shè)L是一個(gè)擬偽補(bǔ)MS-代數(shù),且I是L上的一個(gè)理想.如果對任意的x∈L,有x∈I(?)x°*∈I,則稱I是L上的一個(gè)(O,*)-理想.在本碩士論文中,我們主要研究了擬偽補(bǔ)MS-代數(shù)L上的(O,*)-理想的布爾同余核關(guān)系.特別地,我們證明了:(1)在擬偽補(bǔ)MS-代數(shù)L中,使得商代數(shù)(L/θ;*)是一個(gè)布爾代數(shù)的(O,*)-理想I剛好是L上的同余核θ.(2)由所有(O,*)-理想組成的集合是L上的一個(gè)子格,且同構(gòu)于L的同余格Con L的區(qū)間[G,t],其中G表示為L上的Glivenko同余,t表示為L上的泛關(guān)系.
[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