BCI-homomorphisms

In this article the notion of the power of an element of BCI-algebra and its period in the book [11], sections 1.4 to 1.5 are firstly given. Then the definition of BCI-homomorphism is defined and the fundamental theorem of homomorphism, the first isomorphism theorem and the second isomorphism theorem are proved following the book [9], section 1.6.

MML identifier: BCIALG 6, version: 7.9.03 4.108.1028