BCK—代数的可换理想

本文是作者[1],[2]和[3]的继续,引入了可换理想的概念,并讨论它的重要性质,特别是用可换理想刻划了可换BCK-代数,从而建立了BCK-代数的一套较完备的理想理论。 1976年K.Ise’ki和S.Tanaka引入了正定关联理想概念,借此刻划了正定关联BCK-代数;1984年,我们引入关联理想概念,借此刻划了关联BCK-代数。如所周知,正定关联BCK-代数、关联BCK-代数和可换BCK-代数是BCK-代数的三个重要类型。既然前两类代数都已用理想所刻划,那么可换BCK-代数能否用理想刻划?这里首先遇到的困难是如何定义可换理想,并使它带有更多的信息。     

R-偏序集上的cpo,代数cpo与连续cpo

本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等结构,并给出了使得代数cpo和连续cpo结构得以保持的充分条件.     

BCI-代数的伴随代数和α-伴随代数

研究BCI-代数与群和半群之间的关系.先用BCI-代数产生两个新代数,再反过来用这两个新代数研究BCI-代数.引入了BCI-代数的伴随代数和α-伴随代数的概念,讨论了它们的运算公式和性质,并由此给出了广义结合与广义α-结合BCI-代数的几个等价命题.推广了广义结合BCI-代数的伴随群和广义α-结合BCI-代数的伴随摩群的概念及参考文献中的一些结论.     

BL-代数上的⊙-导子

本文引入了BL-代数的⊙-导子并研究了BL-代数上⊙-导子的相关问题.利用导子的保序性,不动点集和BL-代数的格理想,讨论了BL-代数上的保序∧-导子和保序⊙-导子的关系,并给出了Gdel代数和线性Gdel代数的刻画.这些结果丰富了逻辑代数上的导子理论.     

Lω-空间中ωS-连通性

在Lω空间中定义了ω-半开(闭)集,引入了ωS-连通性的概念,并且给出了ωS-连通性的等价刻划及其应用.     

弱Hopf代数上的ω-交叉积

在弱Hopf代数上,定义了ω-交叉积概念,并给出了ω-交叉积是弱Hopf代数的充要条件,推广了弱Hopf代数的相应结论.     

连续信息基

D.Scott在20世纪60年代引入了domain理论,并给出了两种等价形式——信息系统和邻域系。在型论(typetheory)基础上,G.Sambin提出了形式拓扑(Formal topology)理论,并证明了一元形式拓扑与代数Scott domain等价,从而推出代数信息基的概念,同时作为信息系统与邻域系的推广。本文从信息基的观点出发,提出了连续信息基的概念,证明了它与连续Scott domain的等价性。     

BCI-代数的伴随代数和a-伴随代数

研究BCI-代数与群和半群之间的关系.先用BCI-代数产生两个新代数,再反过来用这两个新代数研究BCI-代数.引入了BCI-代数的伴随代数和a-伴随代数的概念,讨论了它们的运算公式和性质,并由此给出了广义结合与广义a-结合BCI-代数的几个等价命题.推广了广义结合BCI-代数的伴随群和广义a-结合BCI-代数的伴随摩群的概念及参考文献中的一些结论.     

(ω,σ)-Smash积积和和(ν,α)-Smash余余积积

设B,H是两个Hopf代数,构造了(ω,σ)-Smash积Bω#σH和(ν,α)-Smash余积Bν■αH,并给出了Bω#σH是Hopf代数和Bν■αH是双代数的充要条件,证明了许多已知的积和余积是它们的特殊情况.     

关于G-代数的一些注记

引进了基于一般剩余格的G-代数-G(RL)-代数的概念,并且分别给出了G-滤子和(全序)G(RL)-代数的一系列特征刻画,同时还证明了任何正则的G(RL)-代数必为Boolean代数,本文所得结果分别是已有结果的一般化.     

Rota-Baxter簇系统与Gr\"obner-Shirshov基

从Yang-Baxter簇方程和Volterra积分方程得到的Rota-Baxter簇代数的概念出发,我们引入Rota-Baxter簇系统的概念,推广了Brzezinski提出的Rota-Baxter系统.我们证明这个概念也与结合Yang-Baxter簇对和pre-Lie簇代数有关.此外,作为Rota-Baxter簇系统的一个类比,我们引入平均簇系统的概念,并证明平均簇系统会得到dialgebra簇结构.我们还研究dendriform代数上的Rota-Baxter簇系统,并展示它们如何诱导quadri簇代数结构.最后,我们用Gr\"obner-Shirshov基的方法给出Rota-Baxter簇系统的一个线性基.     

态R_0代数

本文研究了R_0代数上有关态算子的问题.利用MV-代数上内态的引入方法引入了态算子,定义了态R_0代数,它是R_0代数的一般化.给出了一些非平凡态R_0代数的例子并讨论了态R_0代数的一些基本性质.在此基础上给出了态滤子和态局部R_0代数的概念,并利用态滤子刻画了态局部R_0代数.推广了局部R_0代数的相关理论.     

MV-代数的广义导子

借助于MV-代数的自同态引入并研究了MV-代数上的广义(→,⊕)-导子,得到了其等价刻画.此外,给出了MV-代数的广义中心主导子的概念,在此基础之上讨论了广义(→,⊕)-导子与MV-代数其它导子之间的关系,并利用强主中心广义导子的不动点集给出MV-代数成为Boole代数的等价刻画.所得结论推广了MV-代数上的导子,并借助导子深入刻画了MV-代数的结构理论.     

赋范BCK-代数(英文)

引入了BCK-代数的范数与距离的概念,给出了赋范BCK-代数的一些基本性质,证明了赋范BCK-代数的同构(同态)像和原像仍是赋范BCK-代数,研究了BCK-代数与BCK-代数笛卡儿之间的赋范性质关系.并且引入了赋范BCK-代数的点列极限概念,研究了极限的相关性质.讨论了有界赋范BCK-代数的与模糊BCK-代数的关系.     

拟分段Koszul代数

引入了拟分段Koszul代数的概念,它是分段Koszul代数的非分次推广.详细讨论了拟分段Koszul代数的Yoneda-Ext代数,给出了一些使诺特半完全代数成为拟分段Koszul代数的充要条件.     

拟分段Koszul代数

引入了拟分段Koszul代数的概念,它是分段Koszul代数的非分次推广.详细讨论了拟分段Koszul代数的Yoneda-Ext代数,给出了一些使诺特半完全代数成为拟分段Koszul代数的充要条件.     

一类Hopf路余代数

设F是域,G是3阶循环群,Q是群G的箭图.借助于模范畴的等价性,给出了Hopf路余代数FQc的所有结构分类,并给出了FQc的子Hopf代数FG[FQc1]的结构.     

一类Hopf路余代数

设F是域,G是3阶循环群,Q是群G的箭图.借助于模范畴的等价性,给出了Hopf路余代数FQ~c的所有结构分类,并给出了FQ~c的子Hopf代数FG[FQ_1~c]的结构.     

Heyting代数的不变滤子

综合运用泛代数与逻辑学的方法和原理对Heyting代数中滤子概念作进一步深入研究.引入了Heyting代数的关于其子集的不变滤子概念.给出了不变滤子的若干性质.证明了Heyting代数的关于一个给定子集的不变滤子全体之集构成一个完备Heyting代数.     

泛逻辑学中UB代数的（U—Fuzzy）同态定理

引入了UB代数滤子、Fuzzy滤子和商代数的概念,并按照常规方法(经典集合之间的映射)引入了两个UB代数间的U-fuzzy同态的概念,给出了UB代数的同态与同态基本定理和u-fuzzy同态基本定理,在最后引入了fuzzy同态的概念,初步讨论了一些结果.