Engel BCI-algebras: an application of left and right commutators
We introduce Engel elements in a BCI-algebra by using left and right normed commutators, and some properties of these elements are studied. The notion of -Engel BCI-algebra as a natural generalization of commutative BCI-algebras is introduced, and we discuss Engel BCI-algebra, which is defined by left and right normed commutators. In particular, we prove that any nilpotent BCI-algebra of type is an Engel BCI-algebra, but solvable BCI-algebras are not Engel, generally. Also, it is proved that...