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

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

MS——代数的主同余关系

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

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

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

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

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

扭曲Smash积上的Hopf代数

在文献 [1 ]中 ,Ｗａｎｇ和Ｌｉ将Ｓｍａｓｈ积代数和Ｓｍａｓｈ余积余代数加以推广 ,给出了扭曲Ｓｍａｓｈ积代数Ｂ★Ｈ和扭曲Ｓｍａｓｈ余积余代数Ｂ×ｒＨ等概念 .并分别给出了扭曲Ｓｍａｓｈ积代数和张量积余代数 ,扭曲Ｓｍａｓｈ余积余代数和张量积代数构成双代数的充要条件 .本文中 ,我们将给出扭曲Ｓｍａｓｈ积代数和扭曲Ｓｍａｓｈ余积余代数构成双代数的充要条件 ,记这一新的双代数为 ★×ｒＨ .文 [1 ]的定理 1 .7,定理 2 .4及文 [2 ]的定理 1均为本文结果的特例 .作为我们结果的直接推论 ,可以得到双代数 Ｂ # ×ｒＨ 和 Ｂ ★×…     

双重Stone代数的核理想

理想是研究Ockham代数类结构的一个重要工具,在双重Stone代数上引入核理想的概念,构造了核理想同余关系表达式,获得了双重Stone代数核理想判别定理。根据双重Stone代数的运算特征及主同余表示理论,获得了核理想同余关系的若干等价表达式并证明了双重Stone代数核理想与其同余关系是同构的。所得结论为其它Ockham代数类核理想性质的研究提供了方法,丰富了Ockham代数的发展,为进一步研究Ockham代数类的代数结构提供理论支持。     

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

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

有单位元的环的主同余

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

伪的弱效应代数的同余和理想

在伪的弱效应代数的基础上给出伪的弱差分偏序集的概念,证明了伪的弱效应代数和伪的弱差分偏序集是等价的.通过引入伪的弱效应代数中的同余等概念证明了在特殊的同余条件下的商代数仍然是伪的弱效应代数,证明了满足RDP性质的伪BL-效应代数在特殊的同余关系下的商代数也是一个伪BL-效应代数并且具有子直积表示.     

Hom-余模余代数及Hom-Smash余积的构造

在Hom-余代数和余模结构的基础上,建立Hom-余模余代数的结构,并给出由余模余代数构造Hom-余模余代数的条件.通过Hom-余模余代数构造Hom-Smash余积,并证明Hom-Smash余积是Hom-余代数,且给出使之成为Hom-双代数的充分条件.     

布尔代数的软商布尔代数

定义了布尔代数的软合同关系、软商代数和软商布尔代数等概念,证明了布尔代数的软合同关系与软理想相互确定,进而由布尔代数的软真理想得到布尔代数的软商布尔代数.最后,证明了布尔代数的软同态具有保软合同性.     

Heyting代数中同余关系的简化

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

Congruence permutable Kleene-Stone algebras

A Kleene-Stone algebra is a bounded distributive lattice with two unary operations that make it a Kleene and a Stone algebra. In this paper, we study the properties of the prime ideals in a Kleene-Stone algebra and characterize the class of Kleene-Stone algebras that are congruence permutable by means of the dual space of a Kleene-Stone algebra and then show that a finite Kleene-Stone algebra is congruence permutable if and only if it is isomorphic to a direct product of finitely many simple algebras.     

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

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

布尔格的主同余

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

关于N(2,2,0)代数的稳定化子

讨论了N(2,2,0)代数的稳定化子的性质,并利用稳定化子给出了N(2,2,0)代数的一个同余分解,证明了该同余是N(2,2,0)代数同余,进而研究了商代数的代数结构,并讨论了自然同态下一类逆象的代数结构和性质.     

泛代数的商代数及其应用

对泛代数的合同关系和商代数作些讨论，主要涉及诱导的合同关系，关于合同关系的几个结果、商代数和同态定理、积代数的商代数等，分别得到了一些结果，并给出它们的一些应用。     

粗糙集代数与MTL代数

讨论粗糙集代数与MTL代数的关系以及由粗糙集代数构造MTL代数的方法.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为MTL代数.     

弱 Stone-代数的同余三元组

目的研究弱Stone-代数同余的表示。方法构造同余三元组,并分析其性质。结果与结论一个弱Stone-代数L的任一个同余φ都可用同余三元组〈θ_1,θ_2,θ_3〉来表示,其中θ_1是布尔代数同余,θ_2,θ_3是格同余,并给出L是同余可换的充分条件。     

Virasoro-相似代数的Hom-李代数结构

Hom-李代数可以看作李代数的形变和推广.本文给出了复数域上Virasoro-相似代数的Hom-李代数结构.