伪BR0代数及其性质

文章弱化t模的交换条件而提出了一类新逻辑代数-伪BR0代数,它是BR0代数的非交换推广,讨论了伪BR0代数的基本性质,给出了它的等价刻画;并且证明了伪BR0代数类形成一个代数簇,即等式代数类,因而这个代数类关于子代数,同态像以及直积是封闭的.     

Heyting代数与剩余格

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

有界可交换的Griss-代数的一个刻画

设(X,*,V,0;≤)是一个有界可交换且满足B-2的Griss-代数,(X,*,0)是一个有界可交换的Bck-代数,证明了(X,*,V,0;≤)和(X,*,0)是两个等价的代数系统。     

BR_0代数中的~*理想及其诱导的商代数

通过在BR0代数中引入了新的运算*,首先定义了BR0代数中的*理想、素*理想、生成*理想、极大*理想,并研究了对应理想的一些性质;其次,通过(素)*理想构造出1个同余关系,并证明了1个BR0代数在该同余关系下的商代数还是(全序)BR0代数.     

关于可换BCK-代数的一点注记

1980年Isèki,K.提出了这样的问题:具条件(C)的BCK-代数是否可换BCK-代数?1981年PaL'asinski,M.证明了具条件(C_1)的BCK-代数是可换BCK-代数。但又说:“条件C_1弱于条件C”,从而认为解决了Isèki的问题。本文指出上述说法是错误的,并解决了Isèki的问题,还提出了另外几个新的可换BCK-代数的系统。     

可除BR_0代数及其消去律性质

在对BR_0代数及可换BR_0代数的概念和性质进行了充分研究的基础上,进一步弱化可换BR_0代数中的可换性条件,减去格的有界性运算及其正则性、逆否律等相关要求,提出了可除BR_0代数的概念并对其基本性质进行了初步探究,证明了可除BR_0代数与可换BR_0代数的等价性;最后进一步探索了可除BR_0代数的性质并证明了其中关于蕴涵算子的消去律性质.     

BR0-代数与BCK-代数

讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论.     

一类广义Witt代数的构造

19年前Kawamoto定义了特征为0的域F上的广义Witt代数,本文基于一个可换幺半群及其上的一个双变量映射,定义并研究了一类广义Witt代数^W=W(α,A,T,φ)/I FT,其中A是一个可换幺半群,T是域F上的一个向量空间,φ:T×A→F是一个双变量映射。给出确定单性的一个充要条件,证明了这类代数结构同构于相应的可换幺半群代数的导子代数。     

MTL 代数的 Wajsberg 形式及其应用

MTL 代数是一种重要的基础逻辑代数。本文采用 Wajsberg 方法,根据逻辑系统 MTL 中公理的形式,建立了 NMTL 代数的经典代数表示形式,进而证明了 NMTL 代数与 MTL 代数是同一代数结构,证明了满足条件x,y∈L,x→y ＝（y→0）→（x→0）的 NMTL 代数 L 是 BR0代数。在此基础上证明了 IMTL 代数和 BR0代数是同一代数结构,并给出 BR0代数和 BL 代数的 Wajsberg 形式。     

积维数为3的3维可换结合代数分类

通过讨论复数域上3维可换结合代数的积维数的性质,给出了3维可换结合代数在同构意义下的分类.     

BR0-分配性及其推广

在BR₀- 代数结构中,_BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR₀-分配性的剩余格同样具备十分良好的性质。首先将BR₀-分配性引入到剩余格中,并给出了BR₀-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR₀-第一无限分配性和BR₀-第二无限分配性。最后,分别在正则完备剩余格,单位区间［0,1］中讨论了两种BR₀-无限分配性的关系及性质。     

BR_0-分配性及其推广

在BR0-代数结构中,BR0-分配性a→b∨c=（a→b）∨（a→c）具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR0-第一无限分配性和BR0-第二无限分配性。最后,分别在正则完备剩余格,单位区间[0,1]中讨论了两种BR0-无限分配性的关系及性质。     

极小Urysohn L-fuzy拓扑空间及其性质

引进了极小ＵｒｙｓｏｈｎＬ－ｆｕｚｙ拓扑空间的概念．利用Ｕｒｙｓｏｈｎ理想基证明了一个Ｌ－ｆｕｚｙ拓扑空间（ＬＸ，δ）是极小Ｕｒｙｓｏｈｎ空间当且仅当（ＬＸ，δ）是ＵｒｙｓｏｈｎＬ－ｆｕｚｙ拓扑空间且ＬＸ上的每一个具有唯一聚点的Ｕｒｙｓｏｈｎ理想基收敛；极小ＵｒｙｓｏｈｎＬ－ｆｕｚｙ拓扑空间是Ｕｒｙｓｏｈｎ闭空间，而且也是Ｌ－ｆｕｚｚｙ半正则空间．最后证明了ＵｒｙｓｏｈｎＬ－ｆｕｚｚｙ极小性是拓扑不变性质．     

关于BR0-代数的一些新性质

基于R0-代数（BR0-代数）对于模糊命题逻辑系统L＊（BL＊）的语义的重要性,对R0-代数和BR0-代数作更进一步的探讨,得到了它们的一些新的性质以及BR0-代数成为R0-代数的充分必要条件．这些结果将有助于对相应的形式逻辑系统与模糊推理的研究．     

交换Banach代数上线性系统的实现

研究变换Ｂａｎａｃｈ代数Ｗ上线性系统的实现理论，对给定的Ｗ上的严格真有理矩阵函数，利用其矩阵分式描述，构造了其可控形和可观测形的实现；进一步应用Ｇｅｌｆａｎｄ交换，证明了其所有的极小实现都是严格等价的     

交换半模的局部化

引入了局部化的定义,讨论了该定义意义下局部化的若干性质,并证明了交换半模局部化的泛性质.     

关于弱关联BCI—代数

本文证明了弱关联BCI—代数必是弱可换的,建立了弱关联BCI—代数的一个结构定理:一个BCI—代数X是弱关联的当且仅当存在一个关联BCK—代数Y和一个p—半单BCI—代数Z使得X≌Y×Z。并讨论了弱关联、弱可换和弱正关联BCI—代数的关系。     

结合环的一个结构定理

本文讨论了一般结合环与(左)S-单式周期环在一定条件下的结构问题,得出它们分别是局部交换环与诣零交换环,或为局部交换环的亚直和。同时,推广和改进了文献[l]的结果。     

一类混合型交换四元数矩阵实表示的性质及应用

在引入混合型交换四元数及混合型交换四元数矩阵概念的基础上,首先,证明了混合型交换四元数和实数域上的4阶矩阵是同构的,将对混合型交换四元数的研究转化为对实数域上4阶矩阵的研究.其次,在混合型交换四元数矩阵和实数域上4n阶矩阵同构的基础上,将对混合型交换四元数矩阵的研究转化为对实数域上4n阶矩阵的研究.利用实矩阵的性质得到混合型交换四元数矩阵实表示的系列性质,并给出了混合型交换四元数矩阵可逆的等价条件.以混合型交换四元数矩阵实表示的性质为基础,得到混合型交换四元数矩阵复特征值的个数及特征值存在的充分必要条件,并将实数域上的盖尔圆盘定理推广到混合型交换四元数矩阵上.最后,利用具体的数值算例验证了混合型交换四元数矩阵盖尔圆盘定理的正确性和有效性.     

左拟正规带的自由积

证明了左拟正规带在半群范畴中的自由积的极大左拟正规带同态象,同构于它们在左拟正规带范畴中的自由积,从而证明了左拟正规带自由积的存在性。还建立了交换自由积的概念,并考察了半格自由积与交换自由积的关系。