弱Boole代数

著名的Stone定理指出:Boole代数与有单位元的Boole环是等价的抽象体系。本文研究去掉单位元的限制后,一般的Boole环所伴随的代数——弱Boole代数。文中给出了弱Boole代数的定义,讨论了弱Boole代数的基本性质,证明了弱Boole代数与Boole环是等价的抽象体系,同时,还对弱Boole代数的子代数和理想的概念进行了探讨。     

伪补MS-代数的素理想及同余性质

素理想是研究Ockham代数类结构的一个重要工具。伪补MS-代数是同时具有伪补代数和MS-代数特征的一类代数。首先在伪补MS-代数上引入两类素理想,以伪补MS-代数本身的运算属性为基础获得了伪补MS-代数素理想的运算特征。其次,利用素理想构造出了伪补MS-代数上的一类同余关系等式,借助素理想集刻画伪补MS-代数的每一个同余关系,获得了伪补MS-代数上的同余关系判别定理。最后,得到次直不可约的伪补MS-代数的结构特征,其元素个数小于或等于6。所得结论为其他Ockham代数类核理想性质的研究提供了方法,丰富了Ockham代数的发展,为进一步研究Ockham代数类的代数结构提供理论支持。     

概念的EI代数表示与布尔矩阵表示的研究

AFS方法是一种新的模糊数学分析方法，它包括AFS代数——一种非布尔代数的分子格，AFS结构——一种特殊的“system”(“system”是组合数学中的一个主要的数学对象)和认知域．在AFS代数和AFS结构的基础上，用AFS方法给出了EI代数和布尔矩阵环之间的一个同态关系，并证明了与每个布尔矩阵对应的所有概念的集合在EI代数上形成一个子代数．并且找到了子代数的一些性质和研究子代数的新方法．应用这些新方法和子代数的性质可以深入研究概念的数学本质．     

余代数的平凡扩张

根据代数扩张的思想介绍了余代数的扩张,进而引入双代数和Hopf代数的扩张.证明了有限维余代数的平凡扩张是coFrobenius余代数,给出双代数的扩张成为双代数的一个充要条件和成为Hopf代数的一个充分条件,最后给出一类是biFrobenius代数但不是Hopf代数的例子.     

格蕴涵代数、MV-代数和有界可换的BCK-代数

本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。     

关于BCI—代数和BCH—代数并代数的一些注记

我们知道,BCK-代数有并代数的概念(见[1]),但一族BCK-代数的并代数的概念不可推广到BCI-代数(见[1]).1984年李欣曾定义了一个BCK-代数和一个BCI-代数的(LX)并代数。自然我们应当考虑一般性的问题:可否(用一种统一的方法)对任意两个BCI-代数定义其并代数?我们先作下列定义:     

Heyting代数与剩余格

证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。     

偏序BCH-代数

引入了偏序BCH-代数和广义a-结合BCH-代数的概念,很自然地在偏序BCH-代数中建立了一种偏序关系;最后,证明了由每个广义a-结合BCH-代数可以构造出一个交换幺半群。     

半代数、Banach半代数及其泛函方程

本文建立了半代数和Banach半代数的概念,它们分别以代数和Banach代数为特例。文中给出了关于半代数或 Banach半代数的一些基本性质;并且对半代数和Banach半代数中的某类泛函方程作了一些探讨,将J.Vukman[11]的主要结果推广到了“半代数与 Banach半代数”的领域内。新兴的“ near-ring理论”在本质上属于代数学范畴;本文将这一迄今为止的纯粹代数概念引入了泛函分析领域,希望能引起人们对“半代数和Banach半代数理论”研究的兴趣或重视。     

MV-代数的(→,)-微分

在MV-代数上引入了(→,)-微分,研究了MV-代数(→,)-微分的性质。定义并研究了正则(→,)-微分,并讨论了MV-代数的布尔中心上的(→,)-微分的一些性质。给出了中心主微分的概念,用中心主微分讨论了(→,)-微分与MV-代数其他微分之间的关系。并用中心主微分的不动点之集刻画了Boole代数。最后,定义并研究了微分MV-代数的微分理想,并讨论了正则微分MV-代数所有的微分理想组成的集合ID(A)的代数结构。     

模糊预李子代数与模糊Novikov子代数

引入了模糊预李子代数、模糊Novikov子代数和模糊邻接李子代数的概念,讨论了几类常见预李代数、Novikov代数的模糊结构,并分别给出了一类特殊的Novikov代数和一类可以诱导出Burgers方程的预李代数构成模糊代数结构的条件.     

亚BCI-代数的伴随半群研究

讨论了亚BCI-代数和拟结合亚BCI-代数的伴随代数的性质,分别给出了拟结合亚BCI-代数和亚BCI-代数与它的伴随半群之间的关系,最后研究了亚BCI-代数的广义结合部分以及拟结合部分的特性.     

亚BCI-代数的伴随半群研究

讨论了亚BCI-代数和拟结合亚BCI-代数的伴随代数的性质,分别给出了拟结合亚BCI-代数和亚BCI-代数与它的伴随半群之间的关系,最后研究了亚BCI-代数的广义结合部分以及拟结合部分的特性.     

Novikov代数的可解幂零性质

讨论了Novikov代数的幂零性和可解性，得到了可解理想之和可解，可解Novikov代数的子代数和同态象可解等结论，以及与之相联系的李代数的可解幂零性的关系．另外还得到了可解的Novikov代数有序列。A=A0←∩ A1←∩…←∩Am=0,使得Ai＋1的理想，且dimAi/Ai＋1=1等结论。     

BR_(0~-)代数的表示定理及其简化形式

通过对基础模糊命题演算系统BL*及相应的Lindenbaum代数的研究,给出了BR_(0~-)代数的格蕴涵表示形式,使得BR_(0~-)代数从定义形式上更加符合逻辑代数的特征,突出了BR_(0~-)代数和其他逻辑代数的区别与联系,其次,结合MV-代数,R_(0~-)代数和BR_(0~-)代数的关系给出了MV-代数的BR_(0~-)代数表示形式以及BR_(0~-)代数的简化形式.     

MV-代数上的f导子和g导子

利用 MV-代数的自同态,将 MV-代数上的（⊙, ）导子和（ ,⊙）导子进行了推广,引入了 f 导子和 g 导子,研究了它们的相关性质。得到了 g 导子 d 的不动点集 Fd （M） g 是 M 的理想;保序的 f 导子 d 的不动点集 Fd（M） f是 M的理想,并用 g 导子的相关性质刻画了布尔代数和线性布尔代数。最后讨论了 f 导子和 g 导子之间的关系。     

素代数上完全保k-交换性的映射

令A是实或复数域上含单位元I的素代数,k1是一个整数。文章证明了A上完全保k-交换性的满射Φ具有形式Φ=Φ(I)Ψ,其中Φ(I)∈Z(A)是可逆元,Ψ:A→A是环同构。上述结果应用于算子代数上,分别得到了因子von Neumann代数、Banach空间标准算子代数和矩阵代数上完全保k-交换性满射的具体刻画。     

正规性和代数免疫

布尔函数的代数免疫性是衡量其抵抗代数攻击能力的重要指标,为快速计算布尔函数的代数免疫,进而有效实施代数攻击,利用布尔函数特征矩阵代数结构和代数次数之间的关系,首次给出了正规性与代数免疫度的制约关系.得到代数免疫度的一个上界,若n元布尔函数是k-正规的,则其代数免疫度满足AI(f)≤min{degf,n-k},且当变元个数≤5时上式等号成立.作为推论,给出了布尔函数代数免疫度为1和2时的充分条件,为判定布尔函数是否存在低次零化子提供了理论支持.     

一类Banach代数的若干性质

记A为一个Banach代数，说明了A的构成，验证了A是代数中的交换环而且A具有平性凸性质，讨论了A的一个理想的具体结构。     

R_0代数中的布尔原子及其应用

介绍了将R_0代数的布尔原子替换为R_0代数的定义,给出了将布尔代数的原子依次替换为R_0代数得到有限的R_0代数的方法,从而进一步刻画了布尔代数与R_0代数之间的关系。