Skip to main content
Log in

Spectral subspaces of spectra of Abelian lattice-ordered groups in size aleph one

  • Original Paper
  • Published:
Acta Scientiarum Mathematicarum Aims and scope Submit manuscript

Abstract

It is well known that the lattice \({{\,\mathrm{Id_c}\,}}{G}\) of all principal \(\ell \)-ideals of any Abelian \(\ell \)-group G is a completely normal distributive 0-lattice; yet not every completely normal distributive 0-lattice is a homomorphic image of some \({{\,\mathrm{Id_c}\,}}{G}\), via a counterexample of cardinality \(\aleph _2\). We prove that every completely normal distributive 0-lattice with at most \(\aleph _1\) elements is a homomorphic image of some \({{\,\mathrm{Id_c}\,}}{G}\). By Stone duality, this means that every completely normal generalized spectral space with at most \(\aleph _1\) compact open sets is homeomorphic to a spectral subspace of the \(\ell \)-spectrum of some Abelian \(\ell \)-group.

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.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

Availability of Data and Materials

Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.

Notes

  1. Strictly speaking we should set the Heyting implication \(\rightarrow \) apart from the lattice signature, thus for example stating that “every finite distributive lattice expands to a unique Heyting algebra”. The shorter formulation, which we shall keep for the sake of simplicity, reflects a standard abuse of terminology that should create no confusion here.

  2. “Right” and “left” appear to have been unfortunately mixed up at various places in [18], particularly on pages 12 and 13. Since this is mostly a matter of choosing sides, that paper’s results are unaffected. We nonetheless attempt to fix this here.

References

  1. Baker, K.A.: Free vector lattices. Canad. J. Math. 20, 58–66 (1968)

    Article  MathSciNet  MATH  Google Scholar 

  2. Bernau, S.J.: Free abelian lattice groups. Math. Ann. 180, 48–59 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  3. Bigard, A., Keimel, K., Wolfenstein, S.: Groupes et Anneaux Réticulés. Lecture Notes in Mathematics, Springer-Verlag, Berlin-New York (1977)

    Book  MATH  Google Scholar 

  4. Delzell, C.N., Madden, J.J.: A completely normal spectral space that is not a real spectrum. J. Algebra 169(1), 71–77 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  5. Gillibert, P., Wehrung, F.: From objects to diagrams for ranges of functors. Lecture Notes in Mathematics, vol. 2029. Springer, Heidelberg (2011)

    MATH  Google Scholar 

  6. Grätzer, G.: Lattice Theory: Foundation. Birkhäuser/Springer Basel AG, Basel (2011)

  7. Heindorf, L., Shapiro, L.B.: Nearly Projective Boolean Algebras. Lecture Notes in Mathematics, Springer-Verlag, Berlin (1994)

  8. Johnstone, P.T.: Stone Spaces, Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press, Cambridge (1982)

  9. Madden, J.J.: Two methods in the study of \(k\)-vector lattices. Wesleyan University, USA (1984)

  10. Mundici, D.: Advanced Łukasiewicz Calculus and MV-Algebras, Trends in Logic-Studia Logica Library, vol. 35. Springer, Dordrecht (2011)

    Google Scholar 

  11. Ploščica, M.: Cevian properties in ideal lattices of Abelian \(\ell \)-groups. Forum Math. 33(6), 1651–1658 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  12. Ploščica, M., Wehrung, F.: A solution to the MV-spectrum Problem in size aleph one, hal-04040959, (2023)

  13. Rump, W., Yang, Y.C.: The essential cover and the absolute cover of a schematic space. Colloq. Math. 114(1), 53–75 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  14. van den Dries, L.: Tame Topology and o-Minimal Structures. London Mathematical Society Lecture Note Series, vol. 248. Cambridge University Press, Cambridge (1998)

    Book  MATH  Google Scholar 

  15. Wehrung, F.: Spectral spaces of countable Abelian lattice-ordered groups. Trans. Am. Math. Soc. 371(3), 2133–2158 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  16. Wehrung, F.: Cevian operations on distributive lattices. J. Pure Appl. Algebra. 224(4), 106202 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  17. Wehrung, F.: From noncommutative diagrams to anti-elementary classes. J. Math. Log. 21(2), 2150011 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  18. Wehrung, F.: Real spectra and \(\ell \)-spectra of algebras and vector lattices over countable fields. J. Pure Appl. Algebra 226(4), 106861 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  19. Wehrung, F.: Projective classes as images of accessible functors. J. Logic Comput. 33(1), 90–135 (2023)

    Article  MathSciNet  MATH  Google Scholar 

  20. Wehrung, F.: Real spectrum versus \(\ell \)-spectrum via Brumfiel spectrum. Algebr. Represent. Theory 26(1), 137–158 (2023)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Funding

The first author was supported by Slovak VEGA grant 1/0152/22.

Author information

Authors and Affiliations

Authors

Contributions

Both authors contributed to the results in this paper.

Corresponding author

Correspondence to Friedrich Wehrung.

Ethics declarations

Conflict of interest

On behalf of all authors, the corresponding author states that there is no conflict of interest.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ploščica, M., Wehrung, F. Spectral subspaces of spectra of Abelian lattice-ordered groups in size aleph one. Acta Sci. Math. (Szeged) 89, 339–356 (2023). https://doi.org/10.1007/s44146-023-00080-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s44146-023-00080-z

Keywords

Mathematics Subject Classification

Navigation