Skip to main content
Log in

A Spectral-style Duality for Distributive Posets

  • Published:
Order Aims and scope Submit manuscript

Abstract

In this paper, we present a topological duality for a category of partially ordered sets that satisfy a distributivity condition studied by David and Erné. We call these posets mo-distributive. Our duality extends a duality given by David and Erné because our category of spaces has the same objects as theirs but the class of morphisms that we consider strictly includes their morphisms. As a consequence of our duality, the duality of David and Erné easily follows. Using the dual spaces of the mo-distributive posets we prove the existence of a particular Δ1-completion for mo-distributive posets that might be different from the canonical extension. This allows us to show that the canonical extension of a distributive meet-semilattice is a completely distributive algebraic lattice.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Birkhoff, G.: Lattice theory, 3rd ed American Mathematical Society Colloquium Publications, vol. 25. American Mathematical Society, Providence (1967)

    Google Scholar 

  2. Celani, S.A.: Topological representation of distributive semilattices. Sci. Math. Jpn. 58(1), 55–66 (2003)

    MathSciNet  MATH  Google Scholar 

  3. Celani, S.A., Calomino, I.: Some remarks on distributive semilattices. Comment. Math. Univ. Carolin 54(3), 407–428 (2013)

    MathSciNet  MATH  Google Scholar 

  4. Davey, B.A., Priestley, H.A.: Introduction to lattices and order, 2nd edn. Cambridge University Press, Cambridge (2002)

  5. David, E., Erné, M.: Ideal completion and stone representation of ideal-distributive ordered sets. Topol. Appl. 44(1), 95–113 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  6. Dunn, J.M., Gehrke, M., Palmigiano, A.: Canonical extensions and relational completeness of some substructural logics. J. Symbol. Logic 70, 713–740 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  7. Erné, M.: Distributivegesetze und die dedekin’sche schnittvervollständigung. Abh. Braunschweig Wiss. Ges. 33, 117–145 (1982)

    MathSciNet  Google Scholar 

  8. Erné, M.: The dedekind-macneille completion as a reflector. Order 8(2), 159–173 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  9. Esteban, M.: Duality theory and abstact algebraic logic. Ph.D. thesis, Universitat de Barcelona. http://hdl.handle.net/2445/47705 (2013)

  10. Frink, O.: Ideals in partially ordered sets. Amer. Math. Mon. 61(4), 223–234 (1954)

    Article  MathSciNet  MATH  Google Scholar 

  11. Gehrke, M.: Generalized Kripke frames. Stud. Logica 84(2), 241–275 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  12. Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 238(1), 345–371 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  13. Gehrke, M., Jansana, R., Palmigiano, A.: Δ1-completions of a poset. Order 30(1), 39–64 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  14. Gehrke, M., Jónsson, B.: Bounded distributive lattices with operators. Math. Jpn. 40(2), 207–215 (1994)

    MathSciNet  MATH  Google Scholar 

  15. Gehrke, M., Jónsson, B.: Monotone bounded distributive lattice expansions. Math. Jpn. 52(2), 197–213 (2000)

    MathSciNet  MATH  Google Scholar 

  16. Gehrke, M., Jónsson, B.: Bounded distributive lattice expansions. Math. Scand. 94(1), 13–45 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  17. González, L.: Topological dualities and completions for (distributive) partially ordered sets. Ph.D. thesis, Universitat de Barcelona. http://hdl.handle.net/2445/67376 (2015)

  18. Grätzer, G.: General lattice theory. Academic Press (1978)

  19. Hickman, R.C., Monro, G.P.: Distributive partially ordered sets. Fund. Math. 120, 151–166 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  20. Morton, W.: Canonical extensions of posets. Algebra Univers. 72(2), 167–200 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  21. Stone, M.H.: The theory of representation for boolean algebras. Trans. Amer. Math. Soc. 40(1), 37–111 (1936)

    MathSciNet  MATH  Google Scholar 

  22. Stone, M.H.: Topological representations of distributive lattices and brouwerian logics. Časopis Pro Pěstování Matematiky Fysiky 67(1), 1–25 (1938)

    MATH  Google Scholar 

Download references

Acknowledgements

We would like to thank the referee for his/her suggestions and comments that allowed to improve the presentation of the paper.

The first author was partially supported by Universidad Nacional de La Pampa (FCEyN) under the grant P. I. 64, Resol. 141/15; and also by Consejo Nacional de Investigaciones Científicas y Técnicas under the grant PIP 112-20150-100412CO, all from the goverment of Argentina.

The second author was partially supported by the research grant 2014 SGR 788 from the government of Catalonia; and also by the research projects MTM2011-25747 and MTM2016-74892-P (which include feder funds from the European Union) and the project MDM-2014-044 of the María de Maeztu program, all from the government of Spain.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Luciano J. González.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

González, L.J., Jansana, R. A Spectral-style Duality for Distributive Posets. Order 35, 321–347 (2018). https://doi.org/10.1007/s11083-017-9435-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11083-017-9435-2

Keywords

Navigation