Coordinatization of lattices by regular rings without unit and Banaschewski functions

DOI10.1007/S00012-010-0088-XzbMATH Open1205.06006arXiv0903.4756OpenAlexW1993879442MaRDI QIDQ616121FDOQ616121

Authors: Friedrich Wehrung 

Publication date: 7 January 2011

Published in: Algebra Universalis (Search for Journal in Brave)

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.

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

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

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)

Cites Work

• On a new proof of Litoff's theorem
• Title not available (Why is that?)
• The dimension monoid of a lattice
• Representations of Complemented Modular Lattices
• 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
• Totalgeordnete Moduln
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representations of Relatively Complemented Modular Lattices
• VON NEUMANN COORDINATIZATION IS NOT FIRST-ORDER
• On the imbedding of a regular ring in a regular ring with identity

Cited In (5)

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

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)