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, \(\Delta\) from L×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 \(\Bbb Z^+\) or to \(\Bbb R^+\).¶ (2) If L has no infinite bounded chains, then Dim L embeds (as an ordered monoid) into a power of \({\Bbb 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 Dim L is isomorphic to \(\Bbb Z^+\), if L is modular, and to the two-element semilattice, otherwise.¶ (5) If L is an \(\aleph_0\)-meet-continuous complemented modular lattice, then both Dim L and the dimension function \(\Delta\) 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.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received January 16 1998; accepted in final form June 16, 1998.
Rights and permissions
About this article
Cite this article
Wehrung, F. The dimension monoid of a lattice. Algebra univers. 40, 247–411 (1998). https://doi.org/10.1007/s000120050091
Issue Date:
DOI: https://doi.org/10.1007/s000120050091