FACTOID # 18: Alaska spends more money per capita on elementary and secondary education than any other state.
 
 Home   Encyclopedia   Statistics   States A-Z   Flags   Maps   FAQ   About 
   
 
WHAT'S NEW
 

SEARCH ALL

FACTS & STATISTICS    Advanced view

Search encyclopedia, statistics and forums:

 

 

(* = Graphable)

 

 


Encyclopedia > Distributive lattice

In mathematics, distributive lattices are lattices for which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set union and intersection. Indeed, these lattices of sets describe the scenery completely: every distributive lattices is – up to isomorphism – given as such a lattice of sets.

Contents

Formal definition

As in the case of arbitrary lattices, one can choose to consider a distributive lattice L either as a structure of order theory or of universal algebra. Both views and their mutual correspondence are discussed in the article on lattices. In the present situation, the algebraic description appears to be more convenient:


A lattice (L,, ) is distributive if the following additional identity holds for all x, y, and z in L:

x (y z) = (x y) (x z).

Viewing lattices as partially ordered sets, this says that the meet operation preserves non-empty finite joins. It is a basic fact of lattice theory that the above condition is equivalent to its dual:

x (y z) = (x y) (x z).

More information on the relationship of this condition to other distributivity conditions of order theory can be found in the article on distributivity (order theory).


Morphisms

A morphism of distributive lattices is just a lattice homomorphism as given in the article on lattices, i.e. a function that is compatible with the two lattice operations.


Examples

Distributive lattices are ubiquitous but also rather specific structures. As already mentioned the main example for distributive lattices are lattices of sets, where join and meet are given by the usual set-theoretic operations. Further examples include:

  • Every Heyting algebra is a distributive lattice. Especially this includes all locales and hence all open set lattices of topological spaces. Also note that Heyting algebras can be viewed as Lindenbaum algebras of intuitionistic logic, which makes them a special case of the above example.
  • Every totally ordered set is a distributive lattice with max as join and min as meet. Note that this is again a specialization of the previous example.
  • Given a positive integer n, the set of all positive divisors of n forms a distributive lattice, again with the greatest common divisor as join and the least common multiple as meet. This is a Boolean algebra if and only if n is square-free.

Characteristic properties

Various equivalent formulations to the above definition exist. For example, a lattice L is distributive iff the following holds for all elements x, y, z in L:

(xy)(yz)(zx) = (xy)(yz)(zx).

Another popular characterization is obtained from two well-known prototypical non-distributive lattices: M3, the "diamond", and N5, the "pentagon", shown here with their Hasse diagrams:



A lattice is distributive iff none of its sublattices is isomorphic to M3 or N5, where a sublattice is a subset that is closed under the meet and join operations of the original lattice. Note that this is not the same as being a subset that is a lattice (possibly with different join and meet operations). Further characterizations derive from the representation theory in the next section.


Finally distributivity entails several other pleasant properties. For example, an element of a distributive lattice is meet-prime iff it is meet-irreducible, though the latter is in general a weaker property. By duality, the same is true for join-prime and join-irreducible elements.


Furthermore, every distributive lattice is also modular.


Representation theory

The introduction already hinted at the most important characterization for distributive lattices: a lattice is distributive iff it is isomorphic to a lattice of sets (closed under set union and intersection). It is easy to check that set union and intersection are indeed distributive in the above sense. The other direction is less trivial -- it will follow from the representation theorems mentioned below. The important insight from this characterization is that the identities (equations) that hold in all distributive lattices are exactly the ones that hold in all lattices of sets in the above sense.


A first representation theorem for distributive lattices is due to Garrett Birkhoff. It states that every finite distributive lattice is isomorphic to the lattice of lower sets of the poset of join-prime (equivalently: join-irreducible) elements. This establishes a bijection (up to isomorphism) between the class of all finite posets and the class of all finite distributive lattices, which can in fact be extended to an equivalence of categories between finite distributive lattices and lattice homomorphisms and finite posets with monotone functions. However, this result cannot be generalized to infinite lattices without adding further structure.


Another early representation was obtained by Marshall Stone and is now known as Stone's representation theorem for distributive lattices. It characterizes distributive lattices as the lattices of compact open sets of certain topological spaces. This result can be viewed both as a generalization of Stone's famous representation theorem for Boolean algebras and as a specialization of the general setting of Stone duality.


A further important representation was established by Hilary Priestley in her representation theorem for distributive lattices. In this formulation, a distributive lattice is used to construct a topological space with an additional partial order on its points, yielding a (completely order-separated) ordered Stone space (or Priestley space). The original lattice is recovered as the collection of clopen lower sets of this space.


As a consequence of Stone's and Priestley's theorems, one easily sees that any distributive lattice is really isomorphic to a lattice of sets. However, the proofs of both statements require the Boolean prime ideal theorem, a weak form of the axiom of choice.


Free distributive lattices

The free distributive lattice over a set of generators G can be constructed much easier than a general free lattice. The first observation is that, using the laws of distributivity, every term formed by the binary operations and on a set of generators can be transformed into the following equivalent normal form:

M1 M2 ... Mn

where the Mi are finite meets of elements of G. Moreover, since both meet and join are commutative and idempotent, one can ignore duplicates and order, and represent a join of meets like the one above as a set of sets:

{N1, N2, ..., Nn},

where the Ni are finite subsets of G. However, it is still possible that two such terms denote the same element of the distributive lattice. This occurs when there are indices j and k such that Nj is a subset of Nk. In this case the meet of Nk will be below the meet of Nj, and hence one can safely remove the redundant set Nk without changing the interpretation of the whole term. Consequently, a set of finite subsets of G will be called irredundant whenever all of its elements Ni are mutually incomparable (with respect to the subset ordering).


Now the free distributive lattice over a set of generators G is defined on the set of all finite irredundant sets of finite subsets of G. The join of two finite irredundant sets is obtained from their union by removing all redundant sets. Likewise the meet of two sets S and T is the irredundant version of { NM | N in S, M in T}. The check that this structure is a distributive lattice with the required universal property is routine.


Literature

See the references given in the article lattice (order). Stone's and Priestley's representation results are found in the literature on Stone duality.


  Results from FactBites:
 
Distributive lattice - Wikipedia, the free encyclopedia (1185 words)
For example, an element of a distributive lattice is meet-prime iff it is meet-irreducible, though the latter is in general a weaker property.
It states that every finite distributive lattice is isomorphic to the lattice of lower sets of the poset of join-prime (equivalently: join-irreducible) elements.
The verification that this structure is a distributive lattice with the required universal property is routine.
Distributivity - Wikipedia, the free encyclopedia (771 words)
In mathematics, and in particular in abstract algebra, distributivity is a property of binary operations that generalises the distributive law from elementary algebra.
Multiplication of numbers is distributive over addition of numbers, for a broad class of different kinds of numbers ranging from natural numbers to complex numbers and cardinal numbers.
Distributivity is most commonly found in rings and distributive lattices.
  More results at FactBites »

 
 

COMMENTARY     


Share your thoughts, questions and commentary here
Your name
Your comments

Want to know more?
Search encyclopedia, statistics and forums:

 


Press Releases |  Feeds | Contact
The Wikipedia article included on this page is licensed under the GFDL.
Images may be subject to relevant owners' copyright.
All other elements are (c) copyright NationMaster.com 2003-5. All Rights Reserved.
Usage implies agreement with terms, 1022, m