模态R0代数与模态滤子的若干性质

进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠Φ,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F.并证明了任意一族模态滤子之交仍为模态滤子,所有素模态滤子之交为单点集{1}.     

Implicational lattices and generalization of Stone’s representation theorem

Let F(S) be the free algebra of type (,∨,→) generated by the non_empty set S, it is proved that the logical equivalent relation defined by means of R 0_semantics is a congruence relation on F(S) and the corresponding quotient algebra is said to be the R 0_semantic Lindenbaum algebra. Taking R 0_semantic Lindenbaum algebra as a prototype, the concepts of implicational lattices and regular implicational lattices which are generalizations of the concept of Boolean algebras are introduced. Besides, the concept of fuzzy implicational spaces is introduced and the representation theorem of regular implicational lattices is obtained by means of fuzzy implicational spaces. In case of Boolean algebras, the corresponding fuzzy implicational spaces are zero_dimensional compact Hausdorff spaces and herefrom it is proved that the famous Stone's representation theorem of Boolean algebras is a corollary of the representation theorem of regular implicational lattices.     

素环上具有广义Engel条件的导子

 利用素环上的微分恒等式研究素环上具有广义Engel条件的导子的性质, 得到如下结果: 设R是素环, L是R的非中心Lie理想, d是R上的非零导子. 若xs［d(x),x］kxt=0, x∈L, 其中s,k,t≥0是给定的整数, 则char(R)=2. 进一步, 如果s=0或t=0, 则RM2(F), 这里M2(F)表示特征为2的域F上的2阶全矩阵代数.     

可换BR_0代数的刻画和性质

为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.     

D4^（3）型仿射Chevalley代数的理想

设R是具有恒等元的可换环,J.F.Hurley在1969年与1981年分别对有限维复单李代数及k=1的仿射李代数L研究了相应的Chevalley代数L_R=RL_z的理想结构。本文用D.Mitzman获得的对k=2,3型仿射李代数之Chevalley基,推广Hurley的结果,给出了R上D_4~((3))型仿射Chevalley代数L_R的理想结构。用正合列C→RC_0→L_R→L_R→0,它归结为loop代数L_R=L(g,σ)R的理想结构,我们得到: 设2,3不是R中的零因子,P=R[t~3;t~(-3)]并记L_p=L_R,则对L_p的任一非零理想I,必存在P中理想J,使得6JL_pIJL_p,特别当R是特征零的域时,则I=JL_P(该结果与Kac在1983年得到的结果一致)。     

无限维齐性Rota-Baxter 3-李代数(Ⅰ)

利用无限维3-李代数A_ω={L_m|m∈Z}上所有满足h(0)+h(1)+1≠0的齐性Rota-Baxter算子R, 构造了齐性Rota-Baxter 3-李代数, 其中h:Z→F,R(L_m)=h(m)L_m,∠m∈Z,并对所构造的3-李代数进行了分类, 证明了存在5类不同构的齐性Rota-Baxter 3-李代数C_k,1≤k≤5.     

R0-代数在一般集合上的⊕,→表示形式

在一般集合M上(放弃格的要求)以二元算子⊕,→为基本算子给出了R0-逻辑代数的一种纯代数表示形式(M,(⊕,→)), 进一步显示了R0-逻辑代数的一般代数特征及R0-代数与其他逻辑代数的联系.     

非全序R0代数的存在性及其构造

通过考察非全序R0代数的序结构,给出了中点的定义,并利用中点给出R0代数的一个分划,同时证明了五元和七元非全序R0代数不存在,以及n元(n>7)非全序R0代数的存在性,并推广到无限元的情形,得到了构造可去(加)中点的非全序R0代数的两种方法.     

R_0-代数在一般集合上的,→表示形式

在一般集合M上(放弃格的要求)以二元算子,→为基本算子给出了R0-逻辑代数的一种纯代数表示形式(M,(,→)),进一步显示了R0-逻辑代数的一般代数特征及R0-代数与其他逻辑代数的联系.     

特征p=2的域上的Cartan型李代数（KF,μ_i）及其子代数

本文在特征 p=2的域 F 上构造了一类 Cartan 型 K 型李代数 K(F,μ_i),其中是某个 fiag,{μ_i}是一组参数。并且证明了当对{μ_i}加上适当限制条件之后,K(F,μ_i)或者它的导代数是单代数。另外,本文还通过讨论 K(F,μ_i)的零次项代数 L_0及其理想,构造了两类单子代数 G 和 L′,并计算了它们的维数。