拟可换BCK-代数类是BCK-代数类的真子类

本文肯定地回答了胡庆平(1987)提出的“拟可换BCK-代数类是BCK-代数类的真子类吗?或存在一个BCK-代数,使得它不是拟可换的吗?”问题。并在BCI-代数上导出了相应结果。     

广义拟右交错BCI—代数及其结构

本文引入广义拟右交错BCI-代数的概念,讨论了它的基本性质。利用LX并代数的概念,证明了结构定理:拟交错BCK-代数、广义结合BCI-代数以及任意拟交错BCK-代数与任意纯广义结合BCI-代数的LX并代数都是广义拟右交错的BCI-代数;反之,广义拟右交错BCI-代数或者是拟交错BCK-代数,或者是广义结合BCI-代数或者是拟交错BCK-代数与纯广义结合BCI-代数的LX并代数。从而解决了该类代数的结构问题。     

拟左交错BCI-代数

研究了拟左交错BCI-代数,它比拟交错BCK-代数更具一般性。文中证明拟左交错BCI-代数具有散子代数性质,且可分解为熟知的拟交错BCK-代数与结合BCI-代数的(LX)并代数。     

关于BCH-代数导出半群的一些结果

用BCH-代数的导出半群刻画了结合BCI-代数、p-半单BCI-代数、拟结合BCH-代数和BCHK-代数.证明了偏序BCH-代数X的导出半群是一个可换序半群,可换序半群的核是X的p-半单部分,核是可换序半群中的最大群.     

三类BCI-代数与群和半群的关系

讨论了BCI-代数中,结合的、广义结合的、拟结合的三类BCI-代数之间的关系.建立了广义结合BCI-代数与Abel群、拟结合BCI-代数与可换半群之间的关系.     

关于可换BCK-代数的一点注记

1980年Isèki,K.提出了这样的问题:具条件(C)的BCK-代数是否可换BCK-代数?1981年PaL'asinski,M.证明了具条件(C_1)的BCK-代数是可换BCK-代数。但又说:“条件C_1弱于条件C”,从而认为解决了Isèki的问题。本文指出上述说法是错误的,并解决了Isèki的问题,还提出了另外几个新的可换BCK-代数的系统。     

BCI-代数的软可换理想

将软集合理论应用到BCI-可换理想中，给出了BCI-代数的软可换理想的概念，讨论了软理想和软可换理想之间的关系，研究了两个软可换理想的扩展交、限制交、限制并以及限制差分的性质。丰富了软集合理论的代数性质。     

拟广义结合BCI——代数及其商代数的结构和性质

本文讨论了拟广义结合 BCI-代数和拟广义结合 BCI-代数关于它的 BCK-部分的商代数的结构和性质。     

一类BCI—代数及其结构

引入一类新的BCI-代数,并且讨论了它的基本性质,同时在BCK-代数与广义结合BCI-代数之间引入了星和概念,借此搞清了该类代数的结构.     

交换可剩余半群的剩余BCI-代数

引入了交换可剩余半群的剩余BCI-代数的概念并讨论了其性质,表明了交换可剩余半群与BCI-代数的关系,得到了全序半群的剩余BCI-代数是BCK-代数,序半群是平凡的当且仅当其剩余BCI-代数是p-半单的.还给出了交换可剩余半群与其剩余BCI-代数的理想和滤子之间的关系.     

BCI-代数与BCK-代数的粘合(Ⅱ)

在“BCI-代数与BCK-代数的粘合(I)”一文中构造了BCI-代数范畴中一种自然的方法，使得任一BCI-代数与BCK-代数能以此法粘合．先前许多作者定义的粘合是这种构造的特殊情况．这里说明这种构造保留两个代数的许多性质，并导出同构的粘合．更进一步说明了这种构造的自然性．     

减法系统Ⅲ——各种BCY代数的等价类

在“减法系统Ⅰ”基础上,引入其它一些BCY代数并研究某些BGY代数的等价类(关于“=”),并证明了等价类的集合分别形成BCI代数、BCK代数或可换BCK代数。     

BCI-代数与BCK-代数的粘合(Ⅰ)

构造了BCI-代数范畴中一种自然的粘合,先前许多作者定义的粘合是这种构造的特殊情况,这种构造的自然性表现在:任一BCI-代数与BCK-代数能以此法粘合;导出同态的粘合;保留两个代数的许多性质.     

关于p-半单BCI-代数的一点注记

对p-半单BCI-代数的一些重要性质作了归纳和总结,并对这些性质之间的相互关系作了推导,并给出了p-半单BCI-代数和其它几类重要的BCI-代数之间的关系,这将更方便于广大BCI-代数研究者对BCI-代数进一步的研究.     

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

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

关于星形BCK—代数的讨论

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

BCI-代数的一类理想子代数

本文首先证明了BCI-代数的一个新性质;T[X]是BCI-代数的一个理想子代数,并且T(X)同态于对合群T(B),商代数X/T(X)是P-半单代数.最后我们推广了上述结果,得到一组理想子代数,它们关于X 的商代数都是P-半单的,从而大大扩充了以往的结果.     

关于蕴涵BCK-代数的半群刻划

给出了蕴涵BCK-代数的伴随半群作为剩余半群时的若干特征，并从剩余半群的角度对蕴涵BCK-代数进行了刻划．