Excess of a lattice (Q1865130)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Excess of a lattice |
scientific article |
Statements
Excess of a lattice (English)
0 references
25 March 2003
0 references
A pair \((x,y)\) of elements in a lattice is said to be mismatching if \(x\) is join-irreducible, \(y\) is meet-irreducible and \(x\nleqslant y\). The excess of a lattice \(L\) is the number \(\text{ex}(L) =|L|-\min \{|V_x|+ |I_y|\): \((x,y)\) is a mismatching pair\}, where \(V_x\) and \(I_y\) are the filter generated by \(x\) and the ideal generated by \(y\), respectively. It is shown that a lattice has excess zero (one) iff it is isomorphic to a Boolean lattice (of one of the following types: two-element chain, diamond, pentagon). It is also proved that the cardinality of a relatively complemented lattice which is not Boolean is at most five times its excess.
0 references
excess
0 references
mismatching pair
0 references
Boolean lattice
0 references
diamond
0 references
pentagon
0 references
relatively complemented lattice
0 references
product
0 references