Dale R. Worley
Abstract:Birkhoff's representation theorem for finite distributive lattices states that any finite distributive lattice is isomorphic to the lattice of order ideals (lower sets) of the partial order of the join-irreducible elements of the lattice. This theorem can be extended as follows: A non-finite distributive lattice that is locally finite and has a $\hat{0}$ is isomorphic to the lattice of finite order ideals of the partial order of the join-irreducible elements of the lattice. In addition, certain ``well ordering'' properties are shown to be equivalent to the premises of the extended theorem.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to extend Birkhoff's representation theorem to the case of infinite distributive lattices. Specifically, Birkhoff's representation theorem originally applies to finite distributive lattices, stating that any finite distributive lattice is isomorphic to the lattice of lower sets (or order ideals) of the poset of its join - irreducible elements. The author of the paper, Dale R. Worley, attempts to generalize this result to non - finite distributive lattices that are locally finite and have a least element \(\hat{0}\).
### Main Contributions
1. **Extension of the Theorem**: The paper proves that if a distributive lattice \(L\) is locally finite and has a least element \(\hat{0}\), then \(L\) is isomorphic to the lattice of finite lower sets of the poset of its join - irreducible elements. This means that for such infinite distributive lattices, we can also understand the properties of the entire lattice by studying the structure of its join - irreducible elements.
2. **Equivalent Conditions**: In addition, the author also shows that certain "well - ordered" properties are equivalent to the pre - conditions of the above - mentioned extension theorem. These properties include:
- \(L\) is well - partially - ordered, that is, there are no infinite descending chains in \(L\).
- There are no bounded infinite ascending chains in \(L\).
These conditions not only provide a new perspective for understanding infinite distributive lattices but also further enrich the content of distributive lattice theory.
### Motivation
The motivation of the paper comes from the study of tableaux in combinatorics. In this field, the formal definition of a distributive lattice is usually constructed from the lattice of finite lower sets of an infinite base poset. For example, the Young lattice is a lattice composed of the finite lower sets of Ferrers diagrams in the plane quadrant. Similarly, the lattice of shifted shapes is composed of the finite lower sets in the one - eighth plane region. These examples show that constructing lattices from posets is a common pattern, and the extension theorem in this paper proves the universal applicability of this construction.
### Conclusion
Through these works, the author not only extends the classical Birkhoff's representation theorem but also provides a new tool for studying infinite distributive lattices. This not only helps to deepen the understanding of distributive lattice theory but also provides a theoretical basis for applications in related fields.