Abstract.
Every equivalence relation can be made into a groupoid with the same underlying set if we define the multiplication as follows: xy = x if x,y are related; otherwise, xy = y. The groupoids, obtained in this way, are called equivalence algebras. We find a finite base for the equations of equivalence algebras. The base consists of equations in four variables, and we prove that there is no base consisting of equations in three variables only. We also prove that all subdirectly irreducibles in the variety generated by equivalence algebras are embeddable into the three-element equivalence algebra, corresponding to the equivalence with two blocks on three elements.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received September 21, 1998; accepted in final form May 11, 1999.
Rights and permissions
About this article
Cite this article
Ježek, J., McKenzie, R. The variety generated by equivalence algebras. Algebra univers. 45, 211–219 (2001). https://doi.org/10.1007/s00012-001-8162-z
Issue Date:
DOI: https://doi.org/10.1007/s00012-001-8162-z