Excess of a Lattice

Abstract

A pair (x,y) of elements in a lattice is mismatching if x is join-irreducible, y is meet-irreducible, and xy. The excess of a lattice L is defined by ex(L):=|L|− min{|V x |+|I y |:(x,y) is mismatching}, where V x (I y ) is the principal filter (ideal) generated by x(y), respectively. In the first half of this paper, it is shown that a lattice has excess zero (one) if and only if it is isomorphic to a Boolean lattice (one of a chain of length two, a diamond, and a pentagon), respectively. In the second half, we show that for each relatively complemented lattice which is not Boolean, its size is at most five times its excess. Moreover we determine extremal configurations.