全部 标题 作者
关键词 摘要

Algebra  2013 

Commutative and Bounded BE-algebras

DOI: 10.1155/2013/473714

Full-Text   Cite this paper   Add to My Lib

Abstract:

We introduce the notions of the commutative and bounded BE-Algebras. We give some related properties of them. 1. Introduction Imai and Iséki introduced two classes of abstract algebras called BCK-algebras and BCI-algebras [1, 2]. It is known that the class of BCK-algebras is a proper subclass of BCI-algebras. In [3, 4], Hu and Li introduced a wide class of abstract algebras called BCH-algebras. They have shown that the class of BCI-algebras is a proper subclass of BCH-algebras. Neggers and Kim [5] introduced the notion of d-algebras which is another generalization of BCK-algebras, and also they introduced the notion of B-algebras [6, 7]. Jun et al. [8] introduced a new notion called BH-algebra which is another generalization of BCH/BCI/BCK-algebras. Walendziak obtained some equivalent axioms for B-algebras [9]. C. B. Kim and H. S. Kim [10] introduced the notion of BM-algebra which is a specialization of B-algebras. They proved that the class of BM-algebras is a proper subclass of B-algebras and also showed that a BM-algebra is equivalent to a 0-commutative B-algebra. In [11], H. S. Kim and Y. H. Kim introduced the notion of BE-algebra as a generalization of a BCK-algebra. Using the notion of upper sets they gave an equivalent condition of the filter in BE-algebras. In [12, 13], Ahn and So introduced the notion of ideals in BE-algebras and proved several characterizations of such ideals. Also they generalized the notion of upper sets in BE-algebras and discussed some properties of the characterizations of generalized upper sets related to the structure of ideals in transitive and self-distributive BE-algebras. In [14], Ahn et al. introduced the notion of terminal section of BE-algebras and provided the characterization of the commutative BE-algebras. In this paper we introduce the notion of bounded BE-algebras and investigate some properties of them. 2. Preliminaries Definition 1 (see [11]). An algebra of type (2, 0) is called a BE-algebra if, for all , , and in ,(BE1) ,(BE2) ,(BE3) ,(BE4) . In , a binary relation “ ” is defined by if and only if . Example 2 (see [11]). Let be a set with the following table: Then is a BE-algebra. Definition 3. A BE-algebra is said to be self-distributive if for all , , and . Example 4 (see [11]). Let be a set with the following table: Then is a self-distributive BE-algebra. Proposition 5 (see [14]). Let be a self-distributive BE-algebra. If , then, for all , , and in , the following inequalities hold:(i) ,(ii) . Definition 6 (see [15]). A dual BCK-algebra is an algebra of type (2,0) satisfying (BE1) and (BE2) and the

References

[1]  Y. Imai and K. Iséki, “On axiom systems of propositional calculi. XIV,” Proceedings of the Japan Academy, vol. 42, pp. 19–22, 1966.
[2]  K. Iséki, “On BCI-algebras,” Kobe Journal of Mathematics, vol. 8, no. 1, pp. 125–130, 1980.
[3]  Q. P. Hu and X. Li, “On BCH-algebras,” Kobe Journal of Mathematics, vol. 11, no. 2, part 2, pp. 313–320, 1983.
[4]  Q. P. Hu and X. Li, “On proper BCH-algebras,” Mathematica Japonica, vol. 30, no. 4, pp. 659–661, 1985.
[5]  J. Neggers and H. S. Kim, “On -algebras,” Mathematica Slovaca, vol. 49, no. 1, pp. 19–26, 1999.
[6]  J. Neggers and H. S. Kim, “On -algebras,” Matematichki Vesnik, vol. 54, no. 1-2, pp. 21–29, 2002.
[7]  J. Neggers and H. S. Kim, “A fundamental theorem of -homomorphism for -algebras,” International Mathematical Journal, vol. 2, no. 3, pp. 215–219, 2002.
[8]  Y. B. Jun, E. H. Roh, and H. S. Kim, “On BH-algebras,” Scientiae Mathematicae, vol. 1, no. 3, pp. 347–354, 1998.
[9]  A. Walendziak, “Some axiomatizations of -algebras,” Mathematica Slovaca, vol. 56, no. 3, pp. 301–306, 2006.
[10]  C. B. Kim and H. S. Kim, “On -algebras,” Scientiae Mathematicae Japonicae, vol. 63, no. 3, pp. 421–427, 2006.
[11]  H. S. Kim and Y. H. Kim, “On BE-algebras,” Scientiae Mathematicae Japonicae, vol. 66, no. 1, pp. 113–116, 2007.
[12]  S. S. Ahn and K. S. So, “On ideals and upper sets in -algebras,” Scientiae Mathematicae Japonicae, vol. 68, no. 2, pp. 279–285, 2008.
[13]  S. S. Ahn and K. S. So, “On generalized upper sets in BE-algebras,” Bulletin of the Korean Mathematical Society, vol. 46, no. 2, pp. 281–287, 2009.
[14]  S. S. Ahn, Y. H. Kim, and J. M. Ko, “Filters in commutative -algebras,” Korean Mathematical Society, vol. 27, no. 2, pp. 233–242, 2012.
[15]  K. H. Kim and Y. H. Yon, “Dual BCK-algebra and MV-algebra,” Scientiae Mathematicae Japonicae, vol. 66, no. 2, pp. 247–253, 2007.
[16]  A. Walendziak, “On commutative BE-algebras,” Scientiae Mathematicae Japonicae, vol. 69, no. 2, pp. 281–284, 2009.

Full-Text

comments powered by Disqus