Namespaces
Variants
Actions

Difference between revisions of "BCK-algebra"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(latex details)
Line 1: Line 1:
Algebras originally defined by K. Iséki and S. Tanaka in [[#References|[a7]]] to generalize the set difference in set theory, and by Y. Imai and Iséki in [[#References|[a5]]] as the algebras of certain propositional calculi. A BCK-algebra may be defined as a non-empty set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101901.png" /> with a [[Binary relation|binary relation]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101902.png" /> and a constant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101903.png" /> satisfying the following axioms:
+
Algebras originally defined by K. Iséki and S. Tanaka in [[#References|[a7]]] to generalize the set difference in set theory, and by Y. Imai and Iséki in [[#References|[a5]]] as the algebras of certain propositional calculi. A BCK-algebra may be defined as a non-empty set $X$ with a [[binary relation]] $\ast$ and a constant $0$ satisfying the following axioms:
  
 
1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101904.png" />;
 
1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101904.png" />;
Line 5: Line 5:
 
2) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101905.png" />;
 
2) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101905.png" />;
  
3) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101906.png" />;
+
3) $x \ast x = 0$;
  
 
4) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101907.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101908.png" /> imply <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101909.png" />;
 
4) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101907.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101908.png" /> imply <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110190/b1101909.png" />;
Line 23: Line 23:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  C.S. Hoo,  P.V. Ramana Murty,  "The ideals of a bounded commutative BCK-algebra"  ''Math. Japon.'' , '''32'''  (1987)  pp. 723–733</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  C.S. Hoo,  "Injectives in the categories of BCK and BCI-algebras"  ''Math. Japon.'' , '''33'''  (1988)  pp. 237–246</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  C.S. Hoo,  "Fuzzy ideals of BCI and MV-algebras"  ''Fuzzy Sets and Systems'' , '''62'''  (1994)  pp. 111–114</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  C.S. Hoo,  "Fuzzy implicative and Boolean ideals of MV-algebras"  ''Fuzzy Sets and Systems'' , '''66'''  (1994)  pp. 315–327</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  Y. Imai,  K. Iséki,  "On axiom systems of propositional calculi, XIV"  ''Proc. Japan Acad. Ser. A, Math. Sci.'' , '''42'''  (1966)  pp. 19–22</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  K. Iséki,  S. Tanaka,  "Ideal theory of BCK-algebras"  ''Math. Japon.'' , '''21'''  (1976)  pp. 351–366</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  K. Iséki,  S. Tanaka,  "An introduction to the theory of BCK-algebras"  ''Math. Japon.'' , '''23'''  (1978)  pp. 1–26</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  C.S. Hoo,  P.V. Ramana Murty,  "The ideals of a bounded commutative BCK-algebra"  ''Math. Japon.'' , '''32'''  (1987)  pp. 723–733</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  C.S. Hoo,  "Injectives in the categories of BCK and BCI-algebras"  ''Math. Japon.'' , '''33'''  (1988)  pp. 237–246</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  C.S. Hoo,  "Fuzzy ideals of BCI and MV-algebras"  ''Fuzzy Sets and Systems'' , '''62'''  (1994)  pp. 111–114</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  C.S. Hoo,  "Fuzzy implicative and Boolean ideals of MV-algebras"  ''Fuzzy Sets and Systems'' , '''66'''  (1994)  pp. 315–327</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  Y. Imai,  K. Iséki,  "On axiom systems of propositional calculi, XIV"  ''Proc. Japan Acad. Ser. A, Math. Sci.'' , '''42'''  (1966)  pp. 19–22</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  K. Iséki,  S. Tanaka,  "Ideal theory of BCK-algebras"  ''Math. Japon.'' , '''21'''  (1976)  pp. 351–366</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  K. Iséki,  S. Tanaka,  "An introduction to the theory of BCK-algebras"  ''Math. Japon.'' , '''23'''  (1978)  pp. 1–26</TD></TR></table>
 +
 +
{{TEX|want}}

Revision as of 12:51, 16 December 2023

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 $X$ with a binary relation $\ast$ and a constant $0$ satisfying the following axioms:

1) ;

2) ;

3) $x \ast x = 0$;

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].

References

[a1] C.S. Hoo, P.V. Ramana Murty, "The ideals of a bounded commutative BCK-algebra" Math. Japon. , 32 (1987) pp. 723–733
[a2] C.S. Hoo, "Injectives in the categories of BCK and BCI-algebras" Math. Japon. , 33 (1988) pp. 237–246
[a3] C.S. Hoo, "Fuzzy ideals of BCI and MV-algebras" Fuzzy Sets and Systems , 62 (1994) pp. 111–114
[a4] C.S. Hoo, "Fuzzy implicative and Boolean ideals of MV-algebras" Fuzzy Sets and Systems , 66 (1994) pp. 315–327
[a5] Y. Imai, K. Iséki, "On axiom systems of propositional calculi, XIV" Proc. Japan Acad. Ser. A, Math. Sci. , 42 (1966) pp. 19–22
[a6] K. Iséki, S. Tanaka, "Ideal theory of BCK-algebras" Math. Japon. , 21 (1976) pp. 351–366
[a7] K. Iséki, S. Tanaka, "An introduction to the theory of BCK-algebras" Math. Japon. , 23 (1978) pp. 1–26
How to Cite This Entry:
BCK-algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=BCK-algebra&oldid=54789
This article was adapted from an original article by C.S. Hoo (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article