Relationship between ideals of BCI-algebras and order ideals of its adjoint semigroup 外文参考文献.docVIP

PII.S0161171201010985 RELATIONSHIPBETWEENIDEALSOFBCI-ALGEBRAS ANDORDERIDEALSOFITSADJOINTSEMIGROUP MICHIRO KONDO (Received 4October 2000 and inrevised form 6February 2001) Abstract. Weconsidertherelationship betweenidealsofaBCI-algebra andorderidealsof itsadjoint semigroup. Weshowthat(1)ifIisanideal,thenI=M?1(M(I)),(2)M(M?1(J)) istheorder ideal generated byJ∩R(X),(3)ifX isaBCK-algebra, then J=M(M?1(J)) for anyorder ideal J ofX,thus, foreach BCK-algebra X there isaone-to-one correspondence between theset?(X) ofallideals ofX andtheset?(X) ofallorderideals ofit,and(4)the order M(M