蕴涵格、弱Ro代数与正则剩余格

讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1) 弱Ro代数既是蕴涵格又是正则剩余格;(2) 蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3) 正则剩余格L是蕴涵格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→y∨z=(x→y)∨(x→z).     

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 形式。     

单李代数上保强交换性的非线性可逆映射和非线性强积零导子

设L是特征为零的代数封闭域F上的有限维单李代数.如果f:L→L为可逆映射,且满足[f(x),f(y )]=[x,y],对任意的x,y∈L,则称f是L上保强交换性的非线性可逆映射.证明L上保强交换性的可逆映射只能是恒等映射或负恒等映射.若映射δ:L→L满足[δ(x),y]+ [x,δ(y)]=0,对任意的x,y∈L,则称δ为L上的非线性强积零导子.证明了单李代数L上非线性强积零导子只能是零映射.     

初等代数函数是代数函数

<正> 初等代数函数是代数函数,从名称上看好象应该是显然的。但从各自的定义上看就不是显然的了。初等代数函数的定义是:由函数y=x和y=c(c为常数)经过有限次代数运算并用一个解析式表示的函数;代数函数的定义是:P(x,y)是多项式,若y=φ(x)满足方程P(x,y)=0,则称y=φ(x)为代数函数。可见说初等代数函数是代数函数是要经过证明的。     

格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．     

单李代数上保强交换性的非线性可逆映射和非线性强积零导子

设L是特征为零的代数封闭域F上的有限维单李代数.如果f:L→L为可逆映射,且满足[f(x),f(y)]=[x,y],对任意的x,y∈L,则称f是L上保强交换性的非线性可逆映射.证明L上保强交换性的可逆映射只能是恒等映射或负恒等映射.若映射δ:L→L满足[δ(x),y]+[x,δ(y)]=0,对任意的x,y∈L,则称δ为L上的非线性强积零导子.证明了单李代数L上非线性强积零导子只能是零映射.     

一般线性李代数和有限维单李代数的抛物子代数上非线性强交换映射

设F为域且char F≠2,L为域F上李代数.L上的一个映射φ:L→L称为非线性强交换映射,如果对任意的x,y∈L,有[φ(x),y]=[x,φ(y)].当P为一般线性李代数gl(n,F)(n≥2)的抛物子代数时,证明了P上映射φ为非线性强交换映射当且仅当φ是P上数乘映射与中心映射之和;又当P是有限维单李代数L的抛物子代数时,证明了P上映射φ是非线性强交换映射当且仅当φ是P上数乘映射.     

关于粗糙代数的一点注记

研究了近似空间(U,R)与格蕴涵代数之间的关系,在粗糙集SCR(U)上定义一个二元运算"*1",证明了(SCR(U),*1,Φ,1)是一个格蕴涵代数,并对粗格蕴涵代数几个重要性质做了初步的探讨.     

一类代数上的弱可加交换映射

设A是一个有单位元1的代数.称映射f:A→A是一个弱可加映射,如果满足对任意的x,y∈A,存在t_(x,y)S_(x,y)∈F使得f(x+y)=t_(x,y)f(x)+s_(x,y)f(y)成立.本文证明了在一定的假设下,如果f是交换映射,则存在λ_0(x)∈A和一个从A到Z(A)的映射λ_1,使得对所有的x∈A有f(x)=λ_0(x)x+λ_1(x).作为应用,刻画了M_n(F)上一类交换的弱可加映射.     

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

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