psBCK-代数的Boolean滤子与psMV-滤子

在psBCK-代数中引入Boolean滤子和psMV-滤子的概念,研究了这2种滤子的性质及其相互关系．同时,借助psMV-滤子概念,给出psBCK-代数成为psMV-代数的若干充要条件．     

BL-代数的(∈,∈∨q)-模糊素滤子

利用模糊拓扑中模糊点重于和属于模糊集的概念研究模糊逻辑代数结构,在BL-代数中引入(∈,∈∨q)-模糊素滤子的概念并研究其性质.获得了BL-代数中(∈,∈∨q)-模糊素滤子的若干等价刻画,讨论了BL-代数中素滤子与(∈,∈∨q)-模糊素滤子间的关系,考察了BL-代数中(∈,∈∨q)-模糊素滤子的同态性质,证明了BL-代数中(∈,∈∨q)-模糊素滤子的同构(同态)像(原像)仍为(∈,∈∨q)-模糊素滤子这一结论.     

BL代数的(∈,∈∨q)-模糊素滤子

利用模糊拓扑中模糊点重于和属于模糊集的概念研究模糊逻辑代数结构,在BL 代数中引入(∈,∈∨q) 模糊素滤子的概念并研究其性质.获得了BL 代数中(∈,∈∨q)-模糊素滤子的若干等价刻画,讨论了BL-代数中素滤子与(∈,∈∨q)-模糊素滤子间的关系,考察了BL-代数中(∈,∈∨q)-模糊素滤子的同态性质,证明了BL-代数中(∈,∈∨q)-模糊素滤子的同构（同态）像（原像）仍为(∈,∈∨q)-模糊素滤子这一结论.     

强伪Ockham代数与剩余格

引入了伪Ockham代数的概念,讨论了伪Ockham代数与剩余格的关系.进一步引入强伪Ockham代数概念,并给出了它的基本性质.然后,将著名的R0蕴涵和R0算子推广到伪Ockham代数上,证明了添加广义R0蕴涵和广义R0算子后的伪Ockham代数L成为剩余格的充要条件是L为强伪Ockham代数.最后给出注记,以此说明强伪Ockham代数的条件是独立的.     

伪测度是乘子的条件

设G是LCA群,S(G)是G上的Segal代数。对S(G)的每一个乘子T,已知它对应唯一一个伪测度σ,使得Tf=σ*f,f∈S(G),并且|T|=|σ|又称此σ是乘子。但对许多Segal代数说来,并不是每一个伪测度都是乘子。本文给出了伪测度是Segal代数的乘子的充分条件,此外还研究了Segal代数的最小伪测度集。     

T-代数上的Yetter-Drinfeld模

研究T-代数上的Yetter-Drinfeld模的各种性质.设π是一个群,H为T-代数,主要得到如下一些结果：（1）给出了T-代数上的4种类型的α-Yetter-Drinfeld模及其范畴;（2）若M∈HYDHα,N∈HYDHβ,则M N∈HYDHαβ;（3）讨论了T-代数上的4种类型的α-Yetter-Drinfeld模范畴之间的等价关系;（4）T-代数上的Yetter-Drinfeld有限对偶仍是Yetter-Drinfeld模;（5）若M为有限维线性空间,M∈HYDHα,N∈HYDHβ,则Homk（M,N）∈HYDHα-1β.     

FI代数上基于模糊滤子的一致拓扑空间

拓扑结构是逻辑代数领域的重要研究内容之一,为了揭示FI代数上的拓扑结构,基于模糊滤子诱导的同余关系在FI代数上构造一致拓扑空间并讨论其拓扑性质,证明了：（i）一致拓扑空间是非连通、局部紧的完全正则空间;（ii）一致拓扑空间是T₀空间当且仅当是T₁当且仅当是T₂空间;（iii）FI代数中蕴涵算子关于一致拓扑是连续的,从而构成拓扑FI代数.同时,获得了一致拓扑空间是紧空间的充分必要条件.最后,讨论了商空间的性质.该研究对从拓扑层面进一步揭示FI代数内部特征具有一定的促进作用.     

BCK-代数的稳定化子

引入了BCK-代数的稳定化子概念,给出了其相关性质,重点研究了左稳定化子与正则理想之间的关系。进一步,引入了BCK-代数的相对稳定化子概念,讨论了相对稳定化子与正则理想、固执理想及布尔理想之间的关系。借助左相对稳定化子,证明了BCK-代数的所有理想之集构成一个相对伪补格。     

BE-代数的广义模糊理想

利用模糊拓扑中模糊点重于和属于模糊集概念研究模糊代数结构,在BE-代数中引入(∈,∈∨q)-模糊理想的概念,并研究这类模糊理想的重要性质.得到了BE-代数中(∈,∈∨q)-模糊理想的若干等价条件,研究了BE-代数的模糊理想和(∈,∈∨q)-模糊理想的关系,特别是利用上水平集和∈∨q-水平集刻画了(∈,∈∨q)-模糊理想.本文拓展了模糊代数结构的研究内容和方法.此结果和方法稍作修改可用于工程、计算机科学、人工智能和其他模糊代数结构等研究领域.     

(2,p,q)-代数及其构造方法

讨论具有两个高阶乘法的一类A（n）代数——（2,p,q）-代数-基于（2,p）-代数的结构理论,提出了一种由一般分次结合代数构作一类特殊（2,p,q）-代数的方法,同时探讨它与（2,p）-代数的关系．     

模代数与普通代数的关系

本文提出了模代数中的取模和退模运算，并且在此基础上指出了模代数系统和普通代数系统的反演关系，对普通代数系统也作了重新的认识，最后简略地提出了它们的一些应用.     

对称三值代数系统

本文对对称三值格代数与对称三值模代数进行了讨论,提出了任意对称三值函数的格代数规范展开和模代数的一般化展开、最后讨论两种代数之i可的关系,并求出函数展开式系数之间的转换矩阵.     

Nonpure分段Koszul代数的单点扩张

设Λ=Λ₀⊕Λ₁⊕Λ₂⊕…是标准分次代数, M =M₁⊕M₂⊕…是由M₁生成的有限生成分次Λ-模,k是任意域.记A=（ΛM/0 k)为由Λ和M 决定的单点扩张代数.讨论了单点扩张代数A 的nonpure分段Koszul性质.特别地,给出了使得A 是nonpure分段Koszul代数的充分必要条件.     

扭smash积的整体维数

建立了H-双模代数A和它的扭smash积A＊H的整体维数之间的关系.     

多值模代数中单变量函数的微分运算

提出了模为素数r的多值模代数中单变量函数的导数的定义，建立了真值向量与各阶导数的关系，讨论了微分运算和导数矩阵的性质．     

Nichols代数及其Hecke型子代数

对Nichols代数 (V,c)=T(V)/I(V),给出了它的Hecke型Nichols子代数的定义.在HH 范畴中,H为群代数时,给出(V,c)是Hecke型的充要条件.设A=T(V)/IV是一个代数,讨论了IV成为余理想的条件.计算了二维对角型向量空间的二次Hopf代数,并且找出了一些Nichols代数.     

Kac-Moody-Virasoro可积系统

通过研究Kadomtsev-Petviashvilli(KP)方程对称, 得到相应的无穷维李代数—–Kac-Moody- Virasoro(KMV)代数, 并运用KMV代数的生成元和其中一个子代数—–Virasoro代数的延拓结构, 推导出熟知的Kadomtsev-Petviashvilli(KP)方程, 并以此为基础得到更多高阶(2+1)维和(3+1)维的可积模型, 并且这些模型都具有KMV代数性质.     

Hopf代数的若干弱结构

研究了Hopf代数的一些弱概念及它们之间的关系，性质和特性，并刻画其上的模或余模结构，首先引入Hopf代数的一些弱化结构并讨论其关系，然后用某些弱Hopf代数的弱对极构造正则半群，另一方面，由可逆半群建构出一个弱Hopf代数，给出了余交换点双代数成为左/右Hopf代数的一些等价条件，利用不可约分支和类群元集么半群，在双代数（弱Hopf代数）中构造出一些子双代数（子弱Hopf代数），进一步，一些双代数被证明作为子双代数是不可约分支的补带/半格之和。当类群元么半群是Clifford么半群时，由一些不可约分支之和构造出一个左拟模双代数，最后给出的一些结果体现了弱时极在弱Hopf代数上的模/余模结构中的作用。     

弱离散Koszul模

探讨了离散Koszul代数上有限生成分次模的离散Koszul性质,并定义了弱离散Koszul模. 设M∈gr(A),证明了M是弱离散Koszul模当且仅当M有一个子模链:0=M0 M1M2…Mm=M,使得所有的Mi/Mi-1［-di］都是离散Koszul模当且仅当M的相伴分次模〖WTHZ〗G〖WTBZ〗(M)是离散Koszul模.