Algebra universalis

, Volume 64, Issue 1–2, pp 49–67 | Cite as

Coordinatization of lattices by regular rings without unit and Banaschewski functions

  • Friedrich Wehrung


A Banaschewski function on a bounded lattice L is an antitone self-map of L that picks a complement for each element of L. We prove a set of results that include the following:
  • Every countable complemented modular lattice has a Banaschewski function with Boolean range, the latter being unique up to isomorphism.

  • Every (not necessarily unital) countable von Neumann regular ring R has a map \({\varepsilon}\) from R to the idempotents of R such that \({x{R} = \varepsilon(x){R}}\) and \({\varepsilon(xy) = \varepsilon(x)\varepsilon(xy)\varepsilon(x)}\) for all \({x, y \in R}\).

  • Every sectionally complemented modular lattice with a Banaschewski trace (a weakening of the notion of a Banaschewski function) embeds, as a neutral ideal and within the same quasivariety, into some complemented modular lattice. This applies, in particular, to any sectionally complemented modular lattice with a countable cofinal subset.

A sectionally complemented modular lattice L is coordinatizable, if it is isomorphic to the lattice \({\mathbb{L}(R)}\) of all principal right ideals of a von Neumann regular (not necessarily unital) ring R. We say that L has a large 4-frame, if it has a homogeneous sequence (a 0, a 1, a 2, a 3) such that the neutral ideal generated by a 0 is L. Jónsson proved in 1962 that if L has a countable cofinal sequence and a large 4-frame, then it is coordinatizable. We prove that A sectionally complemented modular lattice with a large 4-frame is coordinatizable iff it has a Banaschewski trace.

2000 Mathematics Subject Classification

06C20 06C05 03C20 16E50 

Key words and phrases

lattice complemented sectionally complemented modular coordinatizable frame neutral ideal Banaschewski function Banaschewski measure Banaschewski trace ring von Neumann regular idempotent 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Banaschewski B.: Totalgeordnete Moduln. Arch. Math. 7, 430–440 (1957) (German)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Birkhoff, G.: Lattice Theory. Corrected reprint of the 1967 third edition. American Mathematical Society Colloquium Publications, vol. 25. American Mathematical Society, Providence (1979)Google Scholar
  3. 3.
    Dobbertin H.: Refinement monoids, Vaught monoids, and Boolean algebras. Math. Ann. 265, 473–487 (1983)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Faith C., Utumi Y.: On a new proof of Litoff’s theorem. Acta Math. Acad. Sci. Hungar. 14, 369–371 (1963)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Fryer K.D., Halperin I.: Coordinates in geometry. Trans. Roy. Soc. Canada. Sect. III. (3) 48, 11–26 (1954)MathSciNetGoogle Scholar
  6. 6.
    Fuchs L., Halperin I.: On the imbedding of a regular ring in a regular ring with identity. Fund. Math. 54, 285–290 (1964)zbMATHMathSciNetGoogle Scholar
  7. 7.
    Goodearl K.R.: Von Neumann Regular Rings, 2nd edn. Robert E. Krieger Publishing Co., Malabar (1991)zbMATHGoogle Scholar
  8. 8.
    Grätzer, G.: General Lattice Theory, 2nd edn. New appendices by the author with B.A. Davey, R. Freese, B. Ganter, M. Greferath, P. Jipsen, H.A. Priestley, H. Rose, E.T. Schmidt, S.E. Schmidt, F. Wehrung, and R. Wille. Birkhäuser, Basel (1998)Google Scholar
  9. 9.
    Herrmann C.: Generators for complemented modular lattices and the von Neumann-Jónsson Coordinatization Theorems. Algebra Universalis 63, 45–64 (2010)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Jónsson B.: Representations of complemented modular lattices. Trans. Amer. Math. Soc. 60, 64–94 (1960)CrossRefGoogle Scholar
  11. 11.
    Jónsson B.: Representations of relatively complemented modular lattices. Trans. Amer. Math. Soc. 103, 272–303 (1962)zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Maeda, F.: Kontinuierliche Geometrien. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Bd. 95. Springer, Berlin (1958) (German)Google Scholar
  13. 13.
    Micol, F.: On representability of *-regular rings and modular ortholattices. PhD thesis, TU Darmstadt (2003)
  14. 14.
    Monk, J.D. (ed.): Handbook of Boolean Algebras, vol. 3. Edited with the cooperation of R. Bonnet. North-Holland, Amsterdam (1989)Google Scholar
  15. 15.
    Pierce, R.S.: Countable Boolean algebras. In: Handbook of Boolean Algebras, vol. 3, pp. 775–876. North-Holland, Amsterdam (1989)Google Scholar
  16. 16.
    Saarimäki M., Sorjonen P.: On Banaschewski functions in lattices. Algebra Universalis 28, 103–118 (1991)zbMATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Wehrung F.: The dimension monoid of a lattice. Algebra Universalis 40, 247–411 (1998)zbMATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Wehrung F.: Von Neumann coordinatization is not first-order. J. Math. Log. 6, 1–24 (2006)zbMATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    Wehrung, F.: A non-coordinatizable sectionally complemented modular lattice with a large Jónsson four-frame. Adv. in Appl. Math., to appearGoogle Scholar

Copyright information

© Springer Basel AG 2010

Authors and Affiliations

  1. 1.LMNO, CNRS UMR 6139, Département de MathématiquesUniversité de CaenCaen cedexFrance

Personalised recommendations