NORMAL BCI/BCK-ALGEBRAS

In 1966, Iseki [2] introduced the notion of BCI-algebras which is a generalization of BCK-algebras. Lei and Xi [3] discussed a new class of BCI-algebra, which is called a p-semisimple BCI-algebra. For p-semisimple BCI-algebras, a subalgebra is an ideal. But a subalgebra of an arbitrary BCI/BCK-algebra is not necessarily an ideal. In this note, a BCI/BCK-algebra that every subalgebra is an ideal is called a normal BCI/BCK-algebra, and we give characterizations of normal BCI/BCK-algebras. Moreover we give a positive answer to the problem which is posed in [4].(omitted)