Coordinatization of lattices by regular rings without unit and Banaschewski functions

DOI10.1007/S00012-010-0088-XMaRDI QIDQ616121zbMATH OpenOpenAlexFDO

Authors Friedrich Wehrung

Publication date 7 January 2011

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0903.4756

zbMATH Keywords

von Neumann regular ringcomplemented modular latticeBanaschewski function4-frameBanaschewski traceneutral idealsectionally complemented

Mathematics Subject Classification ID

von Neumann regular rings and generalizations (associative algebraic aspects) (16E50) Modular lattices, Desarguesian lattices (06C05) Complemented modular lattices, continuous geometries (06C20)

Abstract: 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: (1) Every countable complemented modular lattice has a Banaschewski function with Boolean range, the latter being unique up to isomorphism. (2) Every (not necessarily unital) von Neumann regular ring R has a map e from R to the idempotents of R such that xR=e(x)R and e(xy)=e(x)e(xy)e(x) for all x,y in R. (3) 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 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'onsson 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.

Recommendations

• A non-coordinatizable sectionally complemented modular lattice with a large Jónsson four-frame
• From regular modules to von Neumann regular rings via coordinatization.
• On Boolean ranges of Banaschewski functions
• Generators for complemented modular lattices and the von Neumann-Jónsson coordinatization theorems
• On Banaschewski functions in lattices

Cites work

• scientific article; zbMATH DE number 3115484 (Why is no real title available?)
• scientific article; zbMATH DE number 1181276 (Why is no real title available?)
• scientific article; zbMATH DE number 1913823 (Why is no real title available?)
• A non-coordinatizable sectionally complemented modular lattice with a large Jónsson four-frame
• Generators for complemented modular lattices and the von Neumann-Jónsson coordinatization theorems
• On Banaschewski functions in lattices
• On a new proof of Litoff's theorem
• On the imbedding of a regular ring in a regular ring with identity
• Representations of Complemented Modular Lattices
• Representations of Relatively Complemented Modular Lattices
• The dimension monoid of a lattice
• Totalgeordnete Moduln
• VON NEUMANN COORDINATIZATION IS NOT FIRST-ORDER

Cited in

(5)

• The ring of an outer von Neumann frame in modular lattices
• Generators for complemented modular lattices and the von Neumann-Jónsson coordinatization theorems
• A non-coordinatizable sectionally complemented modular lattice with a large Jónsson four-frame
• VON NEUMANN COORDINATIZATION IS NOT FIRST-ORDER
• On Boolean ranges of Banaschewski functions

This page was built for publication: Coordinatization of lattices by regular rings without unit and Banaschewski functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q616121)