置换群关于变换后基的强生成集的算法

本文给出置换群关于变换后的基的强生成集的一种算法及其理论证明,并讨论了既约强生成集和最小强生成集的问题。     

Fuzzy蕴涵代数与有界BCK代数的关系

本文讨论了Fuzzy蕴涵代数与有界BCK代数互为对偶的关系。     

一类有限BCK—代数的序结构

我们在本文中引进了BCK-代数的主子代数的概念并证明了关于子代数格的若干结果。作为应用我们给出了n阶n-2型BCK-代数的序结构的特征。     

BCK一代数的扩张(1)

本文给出BCK一代数三种新的扩张方法,并用扩张方法,给出s阶BCK一代数的完全分类.     

BCK-代数的几个计数定理

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

关于伽罗瓦理论中几个问题的讨论

讨论了伽罗瓦理论中的几个问题，给出了伽办瓦群关于子群的陪集分解定理和实数域的真子域上的质数次既约多项式的可解性与其零点分布之间的关系，改正了原文献中的一些错误，给出了相关定理的正确形式。     

关于有限 BCK-代数的一些结果

On the structure of finite simple BCK-algebras, we prove Theorem 1. For n≥4, a BCK-algebra, X of order n is simple if and only if each non-zero proper subalgebra in X is simple. With the help of electric computer, we determine the all types of BCK     

格贴近度的改进

讨论了各种格贴近度存在的缺陷,提出了一种具有较好性质的格贴近度.     

一类有限真BCI-代数

本文完全解决了有限BCI-代数扩张理论中的一种特殊情况.设B_2=0,1是2阶BCK-代数,P=Z_2~(ad)是2阶P-半单BCI-代数.本文决定了所有这样的有限真BCI-代数X,其BCK-部分是B_2,而X/B_2≌P=Z_2~(ad)。     

非交换的正关联BCK代数

本文解决了关于非交换的正关联BCK-代数的真类问题、基数问题和真子类问题。作者使用有限BCK-代数的局部分析法,确定了阶不超过5的非交换正关联BCK-代数的全部类型,讨论了C型和非C型的非交换正关联BCK-代数的有关问题。