On the number of join-irreducibles in a congruence representation of a finite distributive lattice

George Grätzer (1) , Friedrich Wehrung (2)

1 Department of Mathematics
2 LMNO - Laboratoire de Mathématiques Nicolas Oresme

For a finite lattice L, let EL denote the reflexive and transitive closure of the join-dependency relation on L, defined on the set J(L) of all join-irreducible elements of L. We characterize the relations of the form EL, as follows: Theorem. Let E be a quasi-ordering on a finite set P. Then the following conditions are equivalent: (i) There exists a finite lattice L such that (J(L),EL) is isomorphic to the quasi-ordered set (P,E). (ii) There are not exactly two elements x in P such that p E x, for any p in P. For a finite lattice L, let je(L) = |J(L)|-|J(Con L)|, where Con L is the congruence lattice of L. It is well-known that the inequality je(L) $\ge$ 0 holds. For a finite distributive lattice D, let us define the join-excess function: JE(D) = min( je(L) | Con L isomorphic to D). We provide a formula for computing the join-excess function of a finite distributive lattice D. This formula implies that JE(D) $\le$ (2/3)| J(D)|, for any finite distributive lattice D; the constant 2/3 is best possible. A special case of this formula gives a characterization of congruence lattices of finite lower bounded lattices.

Mots clés: Lattice; finite; congruence; join-irreducible; join-dependency; lower bounded; sectionally complemented; minimal pair

Domaines: Mathématiques générales [math.GM]

George Grätzer, Friedrich Wehrung. On the number of join-irreducibles in a congruence representation of a finite distributive lattice. Algebra Universalis, 2003, 49, pp.165-178. ⟨10.1007/s00012-003-1733-4⟩. ⟨hal-00004027⟩