# BCK-algebra

Algebras originally defined by K. Iséki and S. Tanaka in [a7] to generalize the set difference in set theory, and by Y. Imai and Iséki in [a5] as the algebras of certain propositional calculi. A BCK-algebra may be defined as a non-empty set with a binary relation and a constant satisfying the following axioms:

1) ;

2) ;

3) ;

4) and imply ;

5) implies ;

6) for all . A partial order can then be defined by putting if and only if . A very useful property is .

A BCK-algebra is commutative if it satisfies the identity (cf. also Commutative ring). In this case, , the greatest lower bound of and under the partial order . The BCK-algebra is bounded if it has a largest element. Denoting this element by , one has , the least upper bound of and . In this case, is a distributive lattice with bounds and . A BCK-algebra is positive implicative if it satisfies the identity . This is equivalent to the identity . is called implicative if it satisfies the identity . Every implicative BCK-algebra is commutative and positive implicative, and a bounded implicative BCK-algebra is a Boolean algebra.

An ideal of a BCK-algebra is a non-empty set such that and if and imply . The ideal is implicative if and imply . It is known that always . Note that in a positive implicative BCK-algebra, every ideal is implicative. Implicative ideals are important because in a bounded commutative BCK-algebra they are precisely the ideals for which the quotient BCK-algebras are Boolean algebras. Here, if is an ideal in a BCK-algebra, one can define a congruence relation in by if and only if and . The set of congruence classes then becomes a BCK-algebra under the operation , with as the constant and as the largest element if there exists a largest element . Some, but not all, of the well-known results on distributive lattices and Boolean algebras hold in BCK-algebras, in particular in bounded commutative BCK-algebras. For example, the prime ideal theorem holds for bounded commutative BCK-algebras, that is, if is an ideal and is a lattice filter such that , then there exists a prime ideal such that and . Here, "prime ideal" simply means that if it contains , then it contains either or .

Some of the homological algebra properties of BCK-algebras are known, see [a2]. There is also a close connection between BCK-algebras and commutative -groups with order units (cf. -group). Recall that an element in the positive cone of a commutative -group is an order unit if for each one has for some integer . Let For , let . Then is a commutative BCK-algebra.

Fuzzy ideals of BCK-algebras are described in [a3] and [a4]. General references for BCK-algebras are [a6] and [a7].

How to Cite This Entry:
BCK-algebra. C.S. Hoo (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=BCK-algebra&oldid=16457
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098