导　　师： 方捷

授予学位： 硕士

作　　者： (）;

机构地区： 广东技术师范学院

摘　　要： 一个拟伪补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上的泛关系.

关 键 词： 核理想 理想 拟伪补 代数

领　　域： []