BZ-代数的理想及其同态定理

引入BZ-代数的理想概念,并证明了BZ-代数的同态基本定理。利用BZ-代数的BZ1-部分,证明了此BZ1-部分是子代数又是理想,且其商代数是群逆BZ-代数。最后给出BZ-代数的群逆理想的概念,借此给出BZ-代数成为群逆BZ-代数和商代数成为群逆BZ-代数的充要条件。     

BCH-代数与广义结合BCI-代数的关系

利用BCH-代数的理想给出了BCH-代数的商代数的一种定义方法，同时证明了BCH-代数的商代数是一个广义结合BCI-代数。     

BCH-代数中的广义结合理想与拟右交错理想

给出了广义结合BCH-代数、强BCH-代数、BCH-代数的拟右交措理想、BCH-代数的理想、广义结合理想、次广义结合理想等概念。讨论了广义结合BCH-代数中理想与广义结合理想的关系;广义结合理想与次广义结合理想的关系;强BCH-代数与广义结合BCH-代数的关系;广义结合BCH-代数与广义结合BCI-代数的关系;BCH-代数的拟右交措理想与理想的关系.进而证明了:BCH-代数是拟右交措的当且仅当它的任意理想是拟右交措的。     

关于对合BCK代数

证明了对合BCK代数与正则FI-代数等价。在对合BCK代数中引入分配性,讨论了分配对合BCK代数的若干性质,证明了分配对合BCK代数与Boole代数是相互等价的代数系统。     

BZ-代数与群

研完了BZ-代数的性质。通过引入群逆BZ-代数,使BZ-代数与群紧密联系起来,证明了如下重要结果:群逆BZ-代数与群一一对应;而任何BZ-代数到它的一个群逆BZ-代数上有一个满同态。     

Heyting代数的布尔原子及其应用

利用Heyting代数的布尔元得到了Heyting代数的一种直积分解表示。基于Heyting代数的这种分解,证明了有限Heyting代数可通过依次替换布尔代数中的原子为Heyting代数而得到。该结论揭示了Heyting代数与布尔代数之间的一种新的关系。     

K_2代数B_1的PBW-形变（英文）

K_2代数概念是Koszul代数和d-Koszul代数的推广. Koszul代数和d-Koszul代数的PBW-形变受到了广泛的研究.在连通分次代数的PBW-形变理论的框架下,该文明确地刻画了一类K_2代数B_1的所有PBW-形变.     

Pre-Malcev代数的表示与配对

主要研究pre-Malcev代数的表示与配对.首先给出pre-Malcev代数双模的定义,找到在pre-Malcev代数及其表示空间的直和上构造新的pre-Malcev代数的方法,并找到pre-Malcev代数的双模与Malcev代数的表示之间的关系.然后给出pre-Malcev代数配对的定义,给出在2个pre-Malcev代数的直和上构造pre-Malcev代数的方法,并讨论pre-Malcev代数的配对与Malcev代数的配对之间的关系.     

Novikov Color代数与Tortken Color代数

给出Novikov color代数、 Tortken color和Jordan color代数的定义, 并讨论它们之间的关系, 证明了有单位元的Tortken color代数是结合的, 也是color交换的. 给出Novikov color代数和Tortken color代数的基本性质以及利用Novikov color代数构造Tortken color代数的方法.     

广义拟右交错BCI—代数及其结构

本文引入广义拟右交错BCI-代数的概念,讨论了它的基本性质。利用LX并代数的概念,证明了结构定理:拟交错BCK-代数、广义结合BCI-代数以及任意拟交错BCK-代数与任意纯广义结合BCI-代数的LX并代数都是广义拟右交错的BCI-代数;反之,广义拟右交错BCI-代数或者是拟交错BCK-代数,或者是广义结合BCI-代数或者是拟交错BCK-代数与纯广义结合BCI-代数的LX并代数。从而解决了该类代数的结构问题。     

Malcev代数的次理想

举例说明了非Lie的Malcev代数的次理想与理想是2个不同的概念.给出了Malcev代数的次理想的一些基本性质,证明了半单的Malcev代数的次理想均为理想;Malcev代数的幂等次理想均为理想;幂零的Malcev代数的子代数均为次理想;当Malcev代数的所有子代数均为次理想时,此Malcev代数是可解的.     

关于CFI代数

对可交换FI代数(简称CFI代数)的特征进行系统研究,获得(正则)FI代数和CFI代数的一些新的性质;探讨CFI代数与HFI代数、格蕴涵代数及R0代数等逻辑代数之间的关系,得到CFI代数成为正则HFI代数的一个充分必要条件.     

Heyting代数与剩余格

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

拟可换BCI-(BCK-)代数的标准型

本文研究了拟可换BCK-代数和BCI-代数的标准型问题,得到一组充要条件,规范和简化了拟可换BCK-代数和BCI-代数的定义,给出了显示拟可换BCK-代数和BCI-代数结构差别的拟可换特征.     

Hilbert代数与BCK-代数

引入交换Hilbert代数与BCK-代数的概念,给出了它的一个等价公理系.同时,研究了Hilbert代数与BCK-代数,MV代数的关系.     

Hom-LPNG代数的相关性质

先给出Hom-LPNG代数的概念, 再用新定义的运算方法, 解决Hom-LPNG代数构造的一些问题, 得到了用Hom-交换结合代数、 Novikov-Poisson代数和LPNG代数等构造Hom-LPNG代数及由已知Hom-LPNG代数生成新的Hom-LPNG代数的结果.     

可交换的弱FI代数

引入可交换弱FI代数的概念 ,讨论了弱FI代数和FI代数的几个性质 ;进一步得到了交换弱FI代数和交换FI代数的一些结果     

弱Boole代数

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

一类包含正规正则元的d-Koszul代数

对一类包含正规正则元的d-Koszul代数,利用同调代数的工具,证明了一类d-Koszul代数的商代数仍是d-Koszul代数。推广了Schelton关于Koszul代数的相关结果。     

弱Hopf代数上的余拟三角结构

弱Hopf代数是通常Hopf代数的弱化,文献[1]中给出了弱Hopf代数的定义和性质.像在通常Hopf代数上一样,在弱Hopf代数上也可以构造Yang-Baxtter方程的解.文献[2]中讨论了弱Hopf代数的拟三角结构,对偶于那里的拟三角结构,我们们可以给出弱Hopf代数上的余拟三角结构并得到类似于文献[3]中的结论(定理 1)及余拟三角弱Hopf代数的余模范畴是辫子张量范畴(定理 2).