The dimension monoid of a lattice

From MaRDI portal

DOI10.1007/S000120050091zbMATH Open0936.06002arXivmath/0501437OpenAlexW2052351189MaRDI QIDQ1966162FDOQ1966162


Authors: Friedrich Wehrung Edit this on Wikidata


Publication date: 27 February 2000

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

Abstract: We introduce the dimension monoid of a lattice L, denoted by Dim L. The monoid Dim L is commutative and conical, the latter meaning that the sum of any two nonzero elements is nonzero. Furthermore, Dim L is given along with the dimension map, Dim, from L x L to Dim L, which has the intuitive meaning of a distance function. The maximal semilattice quotient of Dim L is isomorphic to the semilattice Conc L of compact congruences of L; hence Dim L is a precursor of the congruence lattice of L. Here are some additional features of this construction: (1) Our dimension theory provides a generalization to all lattices of the von Neumann dimension theory of continuous geometries. In particular, if L is an irreducible continuous geometry, then Dim L is either isomorphic to Z^+ or to R^+. (2) If L has no infinite bounded chains, then Dim L embeds (as an ordered monoid) into a power of Z^+ cup {infty}. (3) If L is modular or if L has no infinite bounded chains, then Dim L is a refinement monoid. (4) If L is a simple geometric lattice, then DimL is isomorphic to Z^+, if L is modular, and to the two-element semilattice, otherwise. (5) If L is a countably meet-continuous complemented modular lattice, then both Dim L and the dimension function Dim satisfy (countable) completeness properties. If R is a von Neumann regular ring and if L is the lattice of principal right ideals of the matrix ring M_2(R), then Dim L is isomorphic to the monoid V(R) of isomorphism classes of finitely generated projective right R-modules. Hence the dimension theory of lattices provides a wide lattice-theoretical generalization of nonstable K-theory of regular rings.


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




Recommendations





Cited In (23)





This page was built for publication: The dimension monoid of a lattice

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