自反BCK－代数

Reflexive BCK-Algebras

本文在ＢＣＫ－代数中引进稳定子的概念，并定义一类特殊的ＢＣＫ－代数─自反ＢＣＫ－代数，证明自反ＢＣＫ－代数的概念与半单ＢＣＫ－代数的概念是一致的，同时对于有限ＢＣＫ－代数还得到它是自反的一个充要条件。

In this article we indtroduce the notion of stabilizer in BCK-algebrs and define a special class of BCK-algebras,the reflexive BCk-algebras.We show that the notion of reflexive BCk-algebras conicides with that of semisimple BCK-algebras and meantime get a necessary and sufficient condition concering finite BCK-algebras being reflexive as well.