The role of \(B(X)\) and \(L(X)\) in the ideal theory of \(BCI\)-algebras (Q1366926)

Let \(B(X)\) be the BCK-part of a BCI-algebra \(X\). An ideal of \(X\) is called an H-ideal (horizontal ideal) if \(I\cap B(X)=\{0\}\). Each closed H-ideal is contained in \(L(X)=\{x\in X:x=0\cdot 0x\}\). An ideal \(I\) which is a subalgebra of \(L(X)\) is an H-ideal iff for all \(x\in X\) and for any \(a\in I\) we have \(x=xa\cdot 0a\). Moreover, the set of all right maps \(R_{a}\) of \(X\) induced by a closed H-ideal is an Abelian group.