Abstract
We investigate ways of representing ordered sets as algebras and how the order relation is reflected in the algebraic properties of the variety (equational class) generated by these algebras. In particular we consider two different but related methods for constructing an algebra with one binary operation from an arbitrary ordered set with a top element. The two varieties generated by all these algebras are shown to be well-behaved in that they are locally finite, finitely based, and have an equationally definable order relation. We exhibit a bijection between the subdirectly irreducible algebras in each variety and the class of all ordered sets with top element. We determine the structure and cardinality of the free algebra on n-free generators and provide sharp bounds on the number of n-generated algebras in each variety. These enumeration results involve the number of quasi-orders on an n-element set.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Berman, J., Blok, W.J.: Free \(\L{\rm ukasiewicz}\) and hoop residuation algebras. Stud. Log. 77, 153–180 (2004)
Berman, J., Idziak, P.M.: Counting finite algebras in the post varieties. Int. J. Algebra Comput. 10, 323–337 (2000)
Berman, J., Idziak, P.M.: Generative Complexity in Algebra, Memoirs of the Amer. Math. Soc., no. 828. Providence, Rhode Island (2005)
Blok, W.J., Pigozzi, D.: On the structure of varieties with equationally definable principal congruences. I. Algebra Univers. 15, 195–227 (1982)
Burris, S., Sankappanavar, H.: A Course in Universal Algebra. Springer, Berlin Heidelberg New York (1981)
Diego, A.: Sur les algèbres d'Hilbert, Collection de Logique Mathématique, Sr. A, Fasc. XXI Gauthier-Villars, Paris; E. Nauwelaerts, Louvain (1966)
M. Erné , Struktur- und Anzahlformeln für Topologien auf endlichen Mengen. Manuscr. Math. 11, 221–259 (1974)
Freese, R., Ježek, J., Jipsen, P., Marković, P., Maróti, M., McKenzie, R.: The variety generated by order algebras. Algebra Univers. 47, 103–138 (2002)
Guzmán, F., Lynch, C.: Varieties of positive implicative BCK-algebras – Subdirectly irreducible and free algebras. Math. Jpn. 37, 27–39 (1992)
Heitzig, J., Jürgen, R.: The number of unlabeled orders on fourteen elements. Order 17, 333–341 (2000)
Hendriks, A.: Computations in propositional logic. PhD thesis, University of Amsterdam, ILLC Dissertation Series (1996)
Hobby, D., McKenzie, R.: The Structure of Finite Algebras, Contemporary Mathematics, vol. 76. American Mathematical Society, Providence, Rhode Island (1988)
Kleitman, D.J., Rothschild, B.L.: Asymptotic enumeration of partial orders on a finite set. Trans. Am. Math. Soc. 205, 205–220 (1975)
McKenzie, R., McNulty, G., Taylor, W.: Algebras, Lattices, Varieties. Wadsworth/Brooks Cole, Monterrey, California (1987)
Urquhart, A.: Implicational formulas in intuitionistic logic. J. Symb. Log. 39, 661–664 (1974)
Walter, B.L.: Finite Equational Bases for Directed Graph Algebras. PhD thesis, UCLA, Los Angeles, California (2002)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Berman, J., Blok, W.J. Algebras Defined from Ordered Sets and the Varieties they Generate. Order 23, 65–88 (2006). https://doi.org/10.1007/s11083-006-9032-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-006-9032-2