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
    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

    Identifiers