BCK-代数的几个计数定理

本文推广了文献中的有限BCK-代数子代数个数估计定理,给出了任意BCK-代数的子代数个数下界的一个估计。对于n阶BCK-代数和n阶半直接既约交换BCK-代数,本文分别给出了其子代数个数下界的较具体的表达公式。另处我们还讨论了互不同构的n阶BCK-代数的个数的下界值的估计问题。     

BCK-数的Fuzzy理想的同态象

本短文论证了 BCK-代数有 sup 性质的 Fuzzy 理想的同态象仍是 Fuzzy 理想,Fuzzy 关联理想的同态象仍是 Fuzzy 关联理想。     

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

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

有界BCK-代数中的正关联对偶理想

作为K Iseki引入的正关联理想的对偶,引入了有界BCD－代数中的正关联对偶理想,并得到了有界正关联BCK－代数的若干特征。     

阶n≤5的有条件(S)的BCK-代数

本文对具有条件(S)的有限BCK-代数的结构作了较深入的研讨,给出了有条件(S)的一些充分条件与必要条件．在此基础上,找出了所有阶n≤5的具有条件(S)的BCK-代数．     

素特征域上Witt代数及极大子代数的2-局部导子

李代数的导子代数对李代数结构的研究有重要作用。特征零的代数闭域上有限维半单李代数的导子都是内导子,该类李代数同构于其导子代数。作为导子的自然推广,李代数的2-局部导子对李代数局部性质的研究,具有重要作用,研究了素特征域上李代数的2-局部导子。设F是特征p>3的代数闭域,g是域F上p-维Witt代数,g0是g的极大子代数,讨论了g和g0的2-局部导子的性质,证明了g和g0的所有2-局部导子均为导子。     

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

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

MS-代数的同余扩张性

刻划了ＭＳ－代数的素理想生成的同余关系，由此刻划证明了ＭＳ－代数具有同余扩张性．     

有界Heyting代数的扩张模糊LI-理想

运用代数学与模糊集的基本原理和运算方法深入研究有界Heyting代数的扩张模糊LI-理想理论。在有界Heyting代数H,≤,→,0,1中,引入了模糊LI-理想f关于H上的模糊子集κ的扩张模糊LI-理想和不变模糊LI-理想概念,给出了扩张模糊LI-理想和不变模糊LI-理想的若干重要性质和等价刻画;讨论了扩张模糊LI-理想与生成模糊LI-理想之间的关系;考查了扩张模糊LI-理想在构造格结构研究中的应用,证明了有界Heyting代数H,≤,→,0,1的模糊LI-理想全体之集FLIH的三类子集在模糊集合包含序?下均构成完备Heyting代数。     

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

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

平行可分解格的可裂理想

对平行可分解格的可裂理想进行了研究,获得了若干重要结果     

L-群P(G)格的一些性质

本文讨论了L-群格C(G),U,P(G)之间的关系,并用P(G)格的理想,刻画了L-群的Z-子群。     

格的弱奇异元

引入了弱奇异元的概念，得到了若干重要性质和相关结果：1．L的每个非零元是弱奇异元当且仅当L∈A；2．L∈Fs，则L的一个非零元g是弱奇异元当且仅当g是有限个基元素的并。     

关于平行可分解格

本文对任意两个平行元素都满足分解特性的平行可分解格进行了研究,证明了这种格可表为有最小元的全序集簇的亚直积,而且得到它的许多有趣的性质。     

分配格的一些类

本文研究分配格的理想,并考虑了分配格的一些类,对它们的性质及彼此之间的关系进行了探讨,得到了初步结果,这些结果对分配格的更深入研究是有益的。     

关于分配格的理想

本文提出了格的正则理想的概念且得到了它的基本性质,同时研究了分配格的极小素理想。     

有限BCK-代数子代数个数估计定理

设X是一个n阶BCK-代数,我们用N(i)来表示X中i阶子代数的个数,其中1≤i≤n.本文的目的是证明有限BCK-代数子代数个数估计定理. 定理 设X是n(≥1)阶BCK-代数,则,i=1,2,…,n. 关于BCK-代数的定义和基本性质可参阅文献[1]和[2].为了引用的方便,我们列出一个BCK-代数必须满足的五条公理:     

BCK-代数添零扩张中的理想

本文对ＢＣＫ－代数的添零扩张作了深入研究,指出了原ＢＣＫ－代数中的理想、Ｖａｒｌｅｔ理想、素理想等与添零扩张后相应的理想、Ｖａｒｌｅｔ理想、素理想之间的关系。