On the adjoint semigroups of \(p\)-separable BCI-algebras (Q1293374)

The notion of a p-semisimple algebra was introduced by \textit{T. D. Lei} and the reviewer [Math. Jap. 30, No.~4, 511-517 (1985; Zbl 0594.03047)]. For a BCI-algebra one may consider the largest p-semisimple subalgebra, but this subalgebra is usually not an ideal. If it is an ideal, then the BCI-algebra is called a p-separable BCI-algebra. In the paper under review the authors first show under which conditions this subalgebra forms an ideal and then they show that the adjoint semigroup of a p-separable algebra is closely related to negatively partially ordered semigroups and abelian groups.