关于几类代数系之间的关系

On the relationship between some algebra systems

引入偏序结合交换剩余独异点和具有条件 (S)的弱FI代数等概念 ,给出了它们的简化公理系。建立了偏序结合交换剩余独异点与具有条件 (S)的结合BCI代数之间的对应关系 ,也建立了具有条件 (S)

In the paper, in the introduction of the concepts of associative and commutative residual monoid and weak FI-algebra with condition (s), the authors prove the following results: associative and commutative residual monoid is equivalent to the associative BCI-algebra with condition (s); and commutative residual monoid is equivalent to weak FI-algebra with condition (s).