Abstract
We provide a simple proof of a recent result of Morton and van Alten that the canonical extension of a bounded distributive lattice is its free completely distributive extension. We show that this can be used to easily obtain a number of results, both known and new.
Similar content being viewed by others
References
Balbes, R., Dwinger, Ph.: Distributive Lattices. University of Missouri Press, Columbia (1974)
Bezhanishvili, G., Harding, J.: Raney algebras and duality for \(T_0\)-spaces. Appl. Categorical Struct. 28(6), 963–973 (2020)
Duffus, D., Rival, I.: Retracts of partially ordered sets. J. Aust. Math. Soc. Ser. A 27(4), 495–506 (1979)
Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 238(1), 345–371 (2001)
Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)
Markowsky, G.: Free completely distributive lattices. Proc. Am. Math. Soc. 74(2), 227–228 (1979)
Morton, W., van Alten, C.: Distributive and completely distributive lattice extensions of ordered sets. Int. J. Algebra Comput. 28(3), 521–541 (2018)
Raney, G.N.: Completely distributive complete lattices. Proc. Am. Math. Soc. 3, 677–680 (1952)
Raney, G.N.: A subdirect-union representation for completely distributive complete lattices. Proc. Am. Math. Soc. 4(4), 518–522 (1953)
Acknowledgements
We are thankful to the referees for comments that have improved the note, and to one referee for pointing out that the key observation of Theorem 2.1 is in print.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by N. Galatos.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
John Harding was partially supported by ARL grant W911NF-21-1-0247.
Rights and permissions
About this article
Cite this article
Bezhanishvili, G., Harding, J. & Jibladze, M. Canonical extensions, free completely distributive lattices, and complete retracts. Algebra Univers. 82, 64 (2021). https://doi.org/10.1007/s00012-021-00756-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-021-00756-z
Keywords
- Completely distributive lattice
- Canonical extension
- Free completely distributive extension
- Complete retract