Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Boolean lifting property in quantales


In ring theory, the lifting idempotent property (LIP) is related to some important classes of rings: clean rings, exchange rings, local and semilocal rings, Gelfand rings, maximal rings, etc. Inspired by LIP, lifting properties were also defined for other algebraic structures: MV-algebras, BL-algebras, residuated lattices, abelian l-groups, congruence distributive universal algebras, etc. In this paper, we define a lifting property (LP) in commutative coherent integral quantales, structures that are a good abstraction for lattices of ideals, filters and congruences. LP generalizes all the lifting properties existing in the literature. The main tool in the study of LP in a quantale A is the reticulation of A, a bounded distributive lattice whose prime spectrum is homeomorphic to the prime spectrum of A. The principal results of the paper include a characterization theorem for quantales with LP and a characterization theorem for hyperarchimedean quantales.

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


  1. Balbes R, Dwinger P (1974) Distributive lattices. University of Missouri Press, Columbia

  2. Banaschewski B (2000) Gelfand and exchange rings: their spectra in pointfree topology. Arab J Sci Eng 25(2C):3–22

  3. Birkhoff G (1967) Lattice theory, vol 25, 3rd edn. AMS Colloquium Publications, New York

  4. Cheptea D, Georgescu G, Muresan C (2015) Boolean lifting properties for bounded distributive lattices. Sci Ann Comput Sci 25:29–67

  5. Cignoli R (1978) The lattice of global sections of sheaves of chains over Boolean spaces. Algebra Univers 8:357–373

  6. Cornish W (1972) Normal lattices. J Aust Math Soc 14:200–215

  7. Filipoiu A, Georgescu G, Lettieri A (1997) Maximal MV-algebras. Mathw Soft Comput 4:53–63

  8. Georgescu G (1995) The reticulation of a quantale. Rev Roum Math Pures Appl 40:619–631

  9. Georgescu G, Muresan C (2014) Boolean lifting property for residuated lattices. Soft Comput 18:2075–2089

  10. Georgescu G, Muresan C (2017a) Congruence Boolean lifting property. J Mult Valued Log Soft Comput 29:225–274

  11. Georgescu G, Muresan C (2017b) Factor congruence lifting property. Stud Log 225:179–2016

  12. Georgescu G, Voiculescu I (1987) Isomorphic sheaf representations of normal lattices. J Pure Appl Algebra 45:213–223

  13. Georgescu G, Voiculescu I (1989) Some abstract maximal ideal-like spaces. Algebra Univers 26:90–102

  14. Georgescu G, Leustean L, Muresan C (2010) Maximal residuated lattices with lifting Boolean center. Algebra Univers 63:83–99

  15. Georgescu G, Cheptea D, Muresan C (2015) Algebraic and topological results on lifting properties in residuated lattices. Fuzzy Sets Syst 271:102–132

  16. Hager AW, Kimber CM, McGovern WW (2013) Clean unital l-groups. Math Slovaca 63:979–992

  17. Immormino NA (2012) Some notes on clean rings. Bowling Green State University, Bowling Green

  18. Jipsen P (2009) Generalization of Boolean products for lattice-ordered algebras. Ann Pure Appl Log 161:224–234

  19. Jipsen P, Tsinakis C (2000) A survey of residuated lattices. Ordered algebraic structure. Kluwer, Dordrecht, pp 19–56

  20. Johnstone PT (1982) Stone spaces. Cambridge University Press, Cambridge

  21. Lam TY (2001) A first course in noncommutative rings. Graduate texts in mathematics, vol 131. Springer, Berlin

  22. Leustean L (2010) Representations of many-valued algebras. Editura Universitara, Bucharest

  23. Lu D, Yu W (2006) On prime spectrum of commutative rings. Commun Algebra 34:2667–2672

  24. Martinez J (1985) Abstract ideal theory. Ordered algebraic structures. Lecture notes in pure and applied mathematics, vol 99. Marcel Dekker, New York

  25. Martinez J, Zenk ER (2007) Regularity in algebraic frames. J Pure Appl Algebra 211:566–580

  26. McGovern WW (2006) Neat rings. J Pure Appl Algebra 205:243–265

  27. Nicholson WK (1977) Lifting idempotents and exchange rings. Trans Am Math Soc 229:268–278

  28. Paseka J (1996) Regular and normal quantales. Arch Math (Brno) 22:203–210

  29. Paseka J, Rosicky J (2000) Quantales, current research in operational quantum logic: algebras, categories and Languages. Fundamental theories of physics, vol 111. Kluwer, New York, pp 245–262

  30. Pawar YS (1993) Characterization of normal lattices. Indian J Pure Appl Math 24(11):651–656

  31. Rosenthal KI (1989) Quantales and their applications. Longman Scientific and Technical, New York

  32. Selvaraj G, Petchimuthu S (2011) On prime spectrum of 2-primal rings. Bull Inst Math Acad Sin 6(1):73–84

  33. Simmons H (1980) Reticulated rings. J Algebra 66:169–192

  34. Simmons H (1989) Compact representation—the lattice theory of compact ringed spaces. J Algebra 126:493–531

Download references


The authors would like to thank the reviewers for their valuable remarks and comments in order to improve the actual form of the paper.

Author information

Correspondence to Daniela Cheptea.

Ethics declarations

Conflict of interest

All authors declare that they have no conflict of interest.

Ethical approval

This article does not contain any studies with human participants or animals performed by any of the authors.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Communicated by A. Di Nola.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Cheptea, D., Georgescu, G. Boolean lifting property in quantales. Soft Comput (2020).

Download citation


  • Lifting property
  • Quantale
  • Reticulation
  • Boolean center
  • Normal
  • Semilocal