Abstract
Let \({{\mathcal D}}\) be the ordered set of isomorphism types of finite distributive lattices, where the ordering is by embeddability. We study first-order definability in this ordered set. We prove among other things that for every finite distributive lattice D, the set {d, d opp} is definable, where d and d opp are the isomorphism types of D and its opposite (D turned upside down). We prove that the only non-identity automorphism of \({{\mathcal D}}\) is the opposite map. Then we apply these results to investigate definability in the closely related lattice of universal classes of distributive lattices. We prove that this lattice has only one non-identity automorphism, the opposite map; that the set of finitely generated and also the set of finitely axiomatizable universal classes are definable subsets of the lattice; and that for each element K of the two subsets, {K, K opp} is a definable subset of the lattice.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Dziobiak, W., Ježek, J., McKenzie, R.: Avoidable structures, I: Finite ordered sets, semilattices and lattices. Algebra Universalis, to appear.
Dziobiak, W., Ježek, J., McKenzie, R.: Avoidable structures, II: Finite distributive lattices and nicely-structured ordered sets. Algebra Universalis, to appear.
Freese R., Ježek J., Nation J.B.: Lattices with large minimal extensions. Algebra Universalis 45, 221–309 (2001)
Ježek, J., McKenzie, R.: Definability in substructure orderings, I: finite semilattices. Algebra Universalis, to appear.
Ježek, J., McKenzie, R.: Definability in substructure orderings, II: finite ordered sets. In progress
Ježek, J., McKenzie, R.: Definability in substructure orderings, IV: finite lattices. Algebra Universalis, to appear.
McKenzie, R., McNulty, G., Taylor, W.: Algebras, Lattices, Varieties, vol. I. Wadsworth & Brooks/Cole, Monterey, CA (1987)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by M. Valeriote.
While working on this paper, both authors were supported by US NSF grant DMS- 0604065. The first author was also supported by the institutional grant MSM0021620839 financed by MSMT and partially supported by the grant GAČR 201/05/0002.
Rights and permissions
About this article
Cite this article
Ježek, J., McKenzie, R. Definability in substructure orderings, III: Finite distributive lattices. Algebra Univers. 61, 283 (2009). https://doi.org/10.1007/s00012-009-0021-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-009-0021-3