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

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

MS——代数的主同余关系

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

有单位元的环的主同余

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

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

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

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

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

布尔格的主同余

基于布尔格的次直积同构表示,引入布尔格的元的不可辨下标集的定义,给出布尔格的元的不可辨下标集的简单性质.应用布尔格的元的不可辨下标集给出布尔格的主同余的刻画,并给出有穷布尔格的主同余的基数与布尔格的元的不可辨下标集的基数的联系,从而得到布尔格的主同余的构造方法.     

半分配同余簇主同余的研究

分配同余簇是半分配同余簇的真子类,给出了半分配同余簇上的一个重要的相仿于分配同余簇上的结论.     

BCI—代数的理想和同余

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

MS—代数的同余扩张性

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

代数上的一类同余的注记

同余是泛代数的重要研究内容,泛代数上的同余在一定意义上能够刻画和确定泛代数的结构和性质。首先引入了一个泛代数上的渗透一个子集合的最大同余的概念,然后对其性质进行了刻画。最后利用该同余给出了关于平凡代数的几个等价条件,证明了泛代数的子集到渗透该集的最大同余的映射为保序映射。该映射为∩-同态、该泛代数平凡等是等价的。     

幂格的主同余关系

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

Heyting代数中同余关系的简化

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

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

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

MS—代数的可分同余关系

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

K_(1,1)—代数的主同关系

本文给出了Ｋ１，１—代数的主同余关系的一种刻划，讨论了Ｋ１，１—代数的一类主同余关系的性质，从而推广了文［１］、［２］的结果     

拟可换BCI—代数上的同余

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

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

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

弱双补代数的直积和同余

弱双补代数是在有限分配情形下对概念代数抽象而成的一种代数.考察了弱双补代数的直积和同余,通过分别在直积和同余类上构造相应的二元运算和一元运算,证明其直积和同余类亦是弱双补代数,并证明了弱双补代数的同态定理.