Right and Left Mappings in Equality Algebras

Download PDF


DOI: 10.46793/KgJMat2205.815K


The notion of (right) left mapping on equality algebras is introduced, and related properties are investigated. In order for the kernel of (right) left mapping to be filter, we investigate what conditions are required. Relations between left mapping and -endomorphism are investigated. Using left mapping and -endomorphism, a characterization of positive implicative equality algebra is established. By using the notion of left mapping, we define -endomorphism and prove that the set of all -endomorphisms on equality algebra is a commutative semigroup with zero element. Also, we show that the set of all right mappings on positive implicative equality algebra makes a dual BCK-algebra.


Equality algebra, &-equality algebra, positive implicative equality algebra, filter, left mapping, right mapping.


[1]   M. Aaly Kologani, R. A. Borzooei, G. R. Rezaei and Y. B. Jun, Commutative equality algebras and &-equality algebras, An. Univ. Craiova Ser. Mat. Inform. (to appear).

[2]   R. A. Borzooei and M. Aaly Kologani, Stabilizer topology of hoops, Algebraic Structures and their Applications 1(1) (2014), 35–48.

[3]   R. A. Borzooei and S. Khosravi Shoar, Impliation algebras are equivalent to the dual implicative BCK-algebras, Sci. Math. Jpn. (2006), 371–373.

[4]   H. Hail Suwayhi, A. Baker and I. M. Mohd, On m-derivation of BCI-algebras with special ideals in BCK-algebras, International Journal of Scientific and Research Publications 9(3) (2019), 14–18.

[5]   L. Henkin, Completeness in the theory of types, J. Symb. Log. 15 (1950), 81–91.

[6]   A. Iampan, Derivations of UP-algebras by means of UP-endomorphism, Algebraic Structures and their Applications 3(2) (2016), 1–20.

[7]   S. Jenei, Equality algebras, in: Proceeding of 11th International Symposium on Computational Intelligence and Informatics (CINTI), 2010, Budapest, Hungary.

[8]   S. Jenei, Equality algebras, Studia Log. 100 (2012), 1201–1209.

[9]   S. Jenei and L. Kóródi, On the variety of equality algebras, Fuzzy Log. Tech. (2011), 153–155.

[10]   L. Kamali Ardekani and B. Davvaz, f-derivations and (f,g)-derivation of MV-algebras, J. Algebr. Syst. 1(1) (2013), 11–31.

[11]   M. Kondo, Some properties of left maps in BCK-algebras, Math. Japonica. 36 (1991), 173–174.

[12]   V. Novák, On fuzzy type theory, Fuzzy Sets and Systems 149 (2005), 235–273.

[13]   V. Novák and B. De Baets, EQ-algebras, Fuzzy Sets and Systems 160(20) (2009), 2956–2978.

[14]   F. Zebardast, R. A. Borzooei and M. Aaly Kologani, Results on equality algebras, Inform. Sci. 381 (2017), 270–282.