MS——代数的主同余关系

给出了MS－代数的主同余关系的一个刻划，讨论了MS－代数的一类主同余关系的性质，推广了文[1]中的结果。     

一类特殊的双重K_(1,1)代数的子代数

考虑双重K1,1代数的一个特殊子代数类,称之为K-代数.刻画了K-代数的主同余关系表达式,证明了它的所有紧致的同余关系构成一个对偶Stone格,并利用Priestley对偶理论证明了K-代数类中有且仅有26个非同构的次直不可约代数.     

Tarski代数和模态代数的主同余

研究了Tarski代数和模态代数的主同余。结合布尔代数的主同余的结果,给出Tarski代数和模态代数的主同余的刻画。     

MS-代数的主同余关系的注记

研究MS代数的主同余关系的可补性,给出了MS代数的主同余关系是可补的充要条件。     

软代数的素理想与同余关系的注记

讨论了非分配软代数F的素理想表示同余关系的问题，指出非分配软代数F的同余关系θ可素理想表示的充要条件是F／θ是软代数，以Con(F)表示F的同余关系格，PCon(F)表示F的全体可由素理想表示的同余关系，证明了按照Con(F)中偏序关系，PCon(F)构成Con(F)的一个子格，并且PCon(F)可嵌入于F的全体素理想集Z（F）的对偶幂集格^↑P（Z（F））中。     

双重K_1_1_代数

本文介绍一个双重Ｋ１．１－代数（Ｌ;－,＋）的概念,视（Ｌ;－）及其对偶（Ｌｄ;＋）为其Ｋ１．１－代数,且赋予一元运算ｘ－ｘ＾－和ｘ－ｘ＾＋某种相关的条件,我们证明,对一个次直不可约的双重Ｋ１．１－代数（Ｌ;－,＋）有绝对值Ｌ≤３２,且Ｌ绝对值≠３１、２９。     

MS-代数的一类主同余关系

讨论了MS-代数的主同余关系的性质，当a=a^00或b=b^00时给出了MS-代数的主同余关系θ(a，6)的一个新的表达式．     

MS—代数的可分同余关系

将格上可分同余关系的概念推广到MS－代数上并讨论了MS－代数上可分同余关系的性质,利用这些性质得到了同余关系格θ（L)为布尔代数的MS－代数的结构定理。     

MS—代数的同余扩张性

刻划了ＭＳ－代数的素理想生成的同余关系，由此刻划证明了ＭＳ－代数具有同余扩张性。     

Heyting代数中同余关系的简化

给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。     

幂格的主同余关系

给出了幂格的两类同余关系,研究了它们的一些性质,并且利用这两类同余关系刻划了一个幂格的所有主同余关系,由此证明了:幂格的主同余关系都是可补的,并获得了主同余的补元.     

拟可换BCI—代数上的同余

讨论了拟可换BCI—代数上的同余关系,证明拟可换BCI—代数上的同余、左同余、理想同余是一致的;拟可换BCI—代数的商代数也是拟可换BCI—代数。     

BCI—代数的理想和同余

本文首先证明了BCI—代数的理想分解定理,然后研究了BCl—代数的几种同余之间的关系和特征。     

关于PMS-代数的同余格的一点注记

分别给出了Stone代数和PMS-代数中主同余关系的其它一些特征.特别地,证明了PMS-代数(S;∨,∧,*,,0,1)的同余格与所含MS-代数(S;∨,∧,,0,1)的同余格是一致的.     

N(2,2,0)代数的一类同余分解

进一步研究了N(2,2,0)代数的一类同余分解,获得了自然同态下一类逆像的新的性质.     

有单位元的环的主同余

通过构造有单位元的环的主同余公式,给出了有单位元的环的主同余刻画;归纳于有单位元的环的一元项的形成和主同余公式的长度,从而给出有单位元的交换环和单位元的环的主同余的判定条件.