多重正关联BCK—代数的一个刻划

证明了多重强关联ＢＣＫ－代数与多重正关联ＢＣＫ－代数是一致的，从而给出多重正关联ＢＣＫ－代数的一个刻划，并利用这个刻划讨论了多重正关联ＢＣＫ－代数的几个性质。     

多重正关联BCK－代数

引进了多重正关联ＢＣＫ－代数，并讨论了它的一些性质，从而使正关联ＢＣＫ－代数与ｎ级正关联ＢＣＫ－代数得到真正的推广。     

具有条件（S）的BCK－代数运算的分配性

给出具有条件（Ｓ）的ＢＣＫ－代数关于运算“”的一些性质，证明了此类ＢＣＫ－代数对运算“＊”和“”分别关于“∨”及“∧”是可分配的，同时若Ｘ是正关联的，则ｘｙ＝ｘ∨ｙ．     

非可换正定关联BCK－代数

非可换正定关联ＢＣＫ－代数白根柱（内蒙古民族师范学院数学系）我们在文［３］中证明了正定关联ＢＣＫ－代数的Ｉｓｅｋｉ扩张是正定关联ＢＣＫ－代数，本文对关联ＢＣＫ－代数的Ｉｓｅｋｉ扩张进行探讨。为便于叙述先给出几个定义￣［１，２］。定义１设Ｘ＝＜Ｘ；０＞...     

关于BCK—代数对偶理想的充要条件

分别对ＢＣＫ－代数对偶理想的充要条件和有界关联ＢＣＫ－代数关于对偶理想的商代数进行了研究．     

有界可换BCK—代数的半群特征

讨论了ＢＣＫ－代数伴随半群中的剩余元素，给出具有条件（Ｓ）的ＢＣＫ－代数及可换ＢＣＫ－代数伴随半群的若干特征，说明具有条件（Ｓ）的可换ＢＣＫ－代数的伴随半群是上半格；有界可换ＢＣＫ－代数的伴随半群是格．     

关于BCK／BCI－代数的几个等价公理系

分别给出ＢＣＫ－代数，蕴涵ＢＣＫ－代数，ＢＣＩ－代数及蕴涵ＢＣＩ－代数的一个等价公理系，说明了蕴涵ＢＣＩ－代数是蕴涵ＢＣＫ－代数的自然推广，亦说明了蕴涵性是“双Ｂ”代数的“固有属性”．     

关于BCI－代数的不动点

在ＢＣＩ－代数中引进不动点的概念，对含有不动点的ＢＣＩ－代数进行刻划，证明了具有不动点的真ＢＣＩ－代数等价子ＢＣＫ－代数的一点扩张；每个元都是不动点的ＢＣＫ－代数等价于可解ＢＣＫ－代数．     

关联BCK—代数的半单性

本文考虑关联ＢＣＫ－代数的半单性，得到这类代数为半单的若干等价条件。     

关于星形BCK—代数的讨论

给出了星形ＢＣＫ－代数的若干性质．用伴随半群理论给出星形ＢＣＫ－代数的刻划，引入了伴随半群中元素长度的概念，证明了星形ＢＣＫ－代数伴随半群中元素表示的唯一性．     

关于BCI—代数的不动点

在ＢＣＩ－代数中引进不动点的概念，对含有不动点的ＢＣＩ－代数进行刻划，证明了具有不动点的真ＢＣＩ０－代数等价于ＢＣＫ－代娄物一点扩张；每个元都是不动点的ＢＣＫ－０代数等价于可解ＢＣＫ－代数。‘     

BCK代数与关联算子代数

本文是文［１］的继续。本文讨论了关联算子代数的ＢＣＫ代数特征。     

蕴涵BCK-代数与剩余半群

给出了蕴涵ＢＣＫ－代数的伴随半群作为剩余半群的若干特征，从半群的角度对这类ＢＣＫ－代数予以刻画，说明其伴随半群Ｍ（Ｘ）关于剩余运算“∶”作成一个蕴涵ＢＣＫ－代数，并且Ｍ（Ｘ）与Ｍ（Ｍ（Ｘ））是同构的     

BCK—域的运算结构定理及独立列

主要明确了纯有限ＢＣＫ－域和无限循环ＢＣＫ－域的运算结构，进而给出了构作ＢＣＫ－域（或ＢＣＫ－代数）的一般方法，引入了独立列的概念，并给出了相关的组合结论。     

关联BCK─代数的几种扩张

本文讨论了正定关联ＢＣＫ─代数和关联ＢＣＫ代数的不动点扩张、非零最小元扩张和添零扩张，得到了一些结果．     

一类BCI—代数的理想

利用ＢＣＩ－代数的枝的若干性质，得到了ＢＣＩ－代数的ＢＣＫ－部分的子集为ＢＣＩ－代数的理想的一个定理。     

关于交换BCK－链

本文在ＢＣＫ－代数中引进连通覆盖的概念，证明了Ｊｏｒｄａｎ－Ｈｏｌｄｅｒ－Ｄｅｄｅｋｉｎｄ定理与维数定理，并指出：一个有界交换ＢＣＫ－代数是Ａｒｔｉｎ的当且仅当它是Ｎｏｅｔｈｅｒ的。     

自反模糊滤子与自反模糊序理想

引入ＢＣＫ－代数Ｘ的自反模糊滤子及ＢＣＫ－代数伴随半群Ｍ（Ｘ）的自反模糊序理想的概念,由自反模糊滤子可诱导一个自反模糊序理想,反过来,由自反模糊序理想也可诱导一个自反模糊滤子,最后证明了ＢＣＫ－代数的所有自反模糊滤子的集合与ＢＣＫ－代数伴随半群Ｍ（Ｘ）的所有自反模糊序理想的集合之间存在一一对应。     

BIC—代数的亚直和及其性质

Ｙ·Ｉｍａｉ和Ｋ·Ｉｓｅｋｉ于１９６０年引入了ＢＣＫ－与ＢＣＩ－代数［１－２］，在此基础上，本文引入了ＢＣＩ－代数亚直和概念，得到了几个ＢＣＩ－代数亚直和的充要条件。     

关于BCI－代数中右乘映射的稳定子

讨论了ＢＣＩ－代数伴随半群中元素σ的稳定子Ｓ（σ）的性质，以及Ｓ（σ）与Ｉｍσ和Ｋｅｒσ之间的关系．在正蕴涵ＢＣＫ－代数中，给出了Ｓ（σ）是理想的充要条件，即每个Ｓ（σ）是理想当且仅当Ｘ是蕴涵代数