BCK-代数中的希尔伯特代数理想

结合BCK-代数的理想和性质以及希尔伯特代数的性质,给出了BCK-代数中的希尔伯特代数理想的定义和一些性质.     

Heyting代数与关联BCK代数的关系

 Heyting代数是作为直觉主义命题的代数模型而引进的,而BCK代数是日本数学家于1966年引入的代数。讨论了Heyting代数与BCK代数之间的关系,给出了构成Heyting代数的一个充要条件。     

广义结合BCI-代数的一些结论

本文将把广义结合BCI-代数的等价定义作一较系统的总结。并且得到广义结合BCI-代数的子代数均是理想;一切自同态关于BCI-代数的外直积的运算构成一个广义结合BCI-代数。以及BCI-代数的商代数是广义结合BCI-代数的充要条件。     

Hopf代数的一类表示

在Hopf代数的Killing根为零的情形下,讨论了有限维Hopf代数的伴随子模.通过给定的基,完全刻划了所有伴随单模的模作用,得到了Hopf代数上的正则单模与伴随单模之间的同构.     

Hopf代数的一类表示

在Hopf代数的Killing根为零的情形下,讨论了有限维Hopf代数的伴随子模.通过给定的基,完全刻划了所有伴随单模的模作用,得到了Hopf代数上的正则单模与伴随单模之间的同构.     

S-代数的表示范畴

本文给出了S-代数的表示范畴,部分推广了Gabriel结果.     

余交换post-Hopf代数上的post-Hopf模的Maschke型定理

为了进一步研究post-Hopf代数上的作用和余作用,引入了post-Hopf代数上的post-Hopf模的概念,推广了post-Hopf代数的概念,并给出了余交换post-Hopf代数上的post-Hopf模的Maschke型定理。     

一类扭仿射Nappi-Witten代数上的不可约拟有限模

研究了一类扭仿射Nappi-Witten代数的表示理论,运用Heisenberg代数的表示,证明了该类扭仿射NappiWitten代数上任何非零水平的不可约拟有限模是最高权模或最低权模.     

S-代数的表示范畴

定义了S-代数及其箭图以及箭图的表示范畴,证明了S-代数可表为带关系的箭图以及S-代数的模范畴与其箭图的表示范畴是等价的.     

基于MBR0 -代数的MTL-代数的表现形式

首先根据WBR0-代数的定义和对偶范畴的思想建立了MBR0-代数结构,证明了MBR0-代数结构是交半格 结构;再对MBR0-代数结构添加运算及相应条件,得到强MBR0-代数结构,证明了强MBR0-代数结构是剩余交 半格结构;最后,给出了强MBR0-代数是MTL-代数的充要条件.