Bounded lattice expansions (Q5936163)
From MaRDI portal
scientific article; zbMATH DE number 1616291
Language | Label | Description | Also known as |
---|---|---|---|
English | Bounded lattice expansions |
scientific article; zbMATH DE number 1616291 |
Statements
Bounded lattice expansions (English)
0 references
10 July 2002
0 references
The notion of a canonical extension of a lattice (with additional operations, respectively) is introduced. A canonical extension of a lattice \(L\) is a pair \((e,C)\), where \(C\) is a complete lattice, \(e:L\to C\) is a lattice embedding such that: i) every element \(c\in C\) can be expressed both as a join of meets and a meet of joins of elements from \(e(L)\) (the image of \(L)\), ii) whenever \(A\subset C\) is a set of elements which are joins of elements from \(e(L)\) and \(B\) is a set of elements which are meets of elements from \(e(L)\), then \(\bigwedge A\leq \bigvee B\) iff \(\bigwedge A^*\leq \bigvee B^*\) for some finite subsets \(A^*\subseteq A\) and \(B^*\subseteq B\). Every lattice has a uniquely determined canonical extension. Both a concrete description and an abstract characterization of this extension is given. Various results involving the preservation of identities under canonical extension are obtained.
0 references
canonical extension of a lattice
0 references
complete lattice
0 references
lattice embedding
0 references
preservation of identities
0 references