be the set of all endomorphisms of a p-semisimple BCI-algebra (X,
and let M and N be nonempty sets such that
is a p-semisimple BCI-algebra and
are closed weakly implicative ideals. Moreover, for any homomorphism T:
there corresponds a unique homomorphism
. In this case
, where Ker and R denote the kernel and the range of the homomorphism, respectively.