Lattice (order)
From Wikipedia, the free encyclopedia
In mathematics, a lattice is a partially ordered set (also called a poset) in which subsets of any two elements have a unique supremum (the elements' least upper bound; called their join) and an infimum (greatest lower bound; called their meet). Lattices can also be characterized as algebraic structures satisfying certain axiomatic identities. Since the two definitions are equivalent, lattice theory draws on both order theory and universal algebra. Semilattices include lattices, which in turn include Heyting and Boolean algebras. These "latticelike" structures all admit ordertheoretic as well as algebraic descriptions.
Contents 
[edit] Lattices as posets
A poset (L, ≤) is a lattice if it satisfies the following two axioms.
 Existence of binary joins
 For any two elements a and b of L, the set {a, b} has a join (also known as least upper bound or supremum).
 Existence of binary meets
 For any two elements a and b of L, the set {a, b} has a meet (also known as greatest lower bound or infimum).
The join and meet of a and b are denoted by and , respectively. This definition makes and binary operations. The first axiom says that L is a joinsemilattice; the second says that L is a meetsemilattice. Both operations are monotone with respect to the order: a_{1} ≤ a_{2} and b_{1} ≤ b_{2} implies that a_{1} b_{1} ≤ a_{2} b_{2} and a_{1}b_{1} ≤ a_{2}b_{2}.
It follows by an induction argument that every nonempty finite subset of a lattice has a join (supremum) and a meet (infimum). With additional assumptions, further conclusions may be possible; see Completeness (order theory) for more discussion of this subject. That article also discusses how one may rephrase the above definition in terms of the existence of suitable Galois connections between related posets – an approach of special interest for the category theoretic approach to lattices.
A bounded lattice has a greatest and least element, denoted 1 and 0 by convention (also called top and bottom). Any lattice can be converted into a bounded lattice by adding a greatest and least element, and every finite lattice is bounded, by taking the join (resp., meet) of all elements, denoted by (resp.) where .
A poset is a bounded lattice if and only if every finite set of elements (including the empty set) has a join and a meet. Here, the join of an empty set of elements is defined to be the least element , and the meet of the empty set is defined to be the greatest element . This convention is consistent with the associativity and commutativity of meet and join: the join of a union of finite sets is equal to the join of the joins of the sets, and dually, the meet of a union of finite sets is equal to the meet of the meets of the sets, i.e., for finite subsets A and B of a poset L,
and
hold. Taking B to be the empty set,
and
which is consistent with the fact that .
[edit] Lattices as algebraic structures
An algebraic structure (L, ), consisting of a set L and two binary operations ), and ), on L is a lattice if the following axiomatic identities hold for all elements a, b, c of L.



The following identity can be derived from the axioms.
 Idempotent laws
 ,
 .
These axioms assert that both (L,) and (L,) are semilattices. The absorption laws, the only axioms above in which both meet and join appear, distinguish a lattice from a random pair of semilattices and assure that the two semilattices interact appropriately. In particular, each semilattice is the dual of the other.
A bounded lattice is an algebraic structure of the form (L, , 1, 0) such that (L, ) is a lattice, 0 (the lattice's bottom) is the identity element for the join operation , and 1 (the lattice's top) is the identity element for the meet operation . See semilattice for further details.
Lattices have some connections to the family of grouplike algebraic structures. Because meet and join both commute and associate, a lattice can be viewed as consisting of two commutative semigroups having the same domain. For a bounded lattice, these semigroups are in fact commutative monoids. The absorption law is the only defining identity that is peculiar to lattice theory.
By commutativity and associativity one can think of join and meet as operations that are defined on nonempty finite sets, rather than pairs, of elements. In a bounded lattice the empty join and the empty meet can also be defined (as 0 and 1, respectively). This makes bounded lattices somewhat more natural than general lattices, and many authors require all lattices to be bounded.
The algebraic interpretation of lattices plays an essential role in universal algebra.
[edit] Connection between the two definitions
An ordertheoretic lattice gives rise to the two binary operations and . Since the commutative, associative and absorption laws can easily be verified for these operations, they make (L, , ) into a lattice in the algebraic sense. The ordering can be recovered from the algebraic structure because a ≤ b holds if and only if a = a∧b.
The converse is also true. Given an algebraically defined lattice (L, , ), one can define a partial order ≤ on L by setting
 a ≤ b if and only if a = ab, or
 a ≤ b if and only if b = ab,
for all elements a and b from L. The laws of absorption ensure that both definitions are equivalent. One can now check that the relation ≤ introduced in this way defines a partial ordering within which binary meets and joins are given through the original operations and .
Since the two definitions of a lattice are equivalent, one may freely invoke aspects of either definition in any way that suits the purpose at hand.
[edit] Examples
 For any set A, the collection of all subsets of A (called the power set of A) can be ordered via subset inclusion to obtain a lattice bounded by A itself and the null set. Set intersection and union interpret meet and join, respectively.
 For any set A, the collection of all finite subsets of A, ordered by inclusion, is also a lattice, and will be bounded if and only if A is finite.
 The natural numbers (including 0) in their usual order form a lattice, under the operations of "min" and "max". 0 is bottom; there is no top.
 The Cartesian square of the natural numbers, ordered by ≤ so that (a,b) ≤ (c,d) ↔ (a ≤ c) & (b ≤ d). (0,0) is bottom; there is no top.
 The natural numbers also form a lattice under the operations of taking the greatest common divisor and least common multiple, with divisibility as the order relation: a ≤ b if a divides b. 1 is bottom; 0 is top.
 Any complete lattice (also see below) is a (rather specific) bounded lattice. This class gives rise to a broad range of practical examples.
 The set of compact elements of an arithmetic complete lattice is a lattice with a least element, where the lattice operations are given by restricting the respective operations of the arithmetic lattice. This is the specific property which distinguishes arithmetic lattices from algebraic lattices, for which the compacts do only form a joinsemilattice. Both of these classes of complete lattices are studied in domain theory.
Further examples are given for each of the additional properties discussed below.
[edit] Morphisms of lattices
The appropriate notion of a morphism between two lattices flows easily from the above algebraic definition. Given two lattices (L, ∨_{L}, ∧_{L}) and (M, ∨_{M}, ∧_{M}), a homomorphism of lattices or lattice homomorphism is a function f : L → M such that
 f(a∨_{L}b) = f(a) ∨_{M} f(b), and
 f(a∧_{L}b) = f(a) ∧_{M} f(b).
Thus f is a homomorphism of the two underlying semilattices. When lattices with more structure are considered, the morphisms should 'respect' the extra structure, too. Thus, a morphism f between two bounded lattices L and M should also have the following property:
 f(0_{L}) = 0_{M} , and
 f(1_{L}) = 1_{M} .
In the ordertheoretic formulation, these conditions just state that a homomorphism of lattices is a function preserving binary meets and joins. For bounded lattices, preservation of least and greatest elements is just preservation of join and meet of the empty set.
Any homomorphism of lattices is necessarily monotone with respect to the associated ordering relation; see preservation of limits. The converse is of course not true: monotonicity by no means implies the required preservation of meets and joins, although an orderpreserving bijection is a homomorphism if its inverse is also orderpreserving.
Given the standard definition of isomorphisms as invertible morphisms, a lattice isomorphism is just a bijective lattice homomorphism. Similarly, a lattice endomorphism is a lattice homomorphism from a lattice to itself, and a lattice automorphism is a bijective lattice endomorphism. Lattices and their homomorphisms form a category.
[edit] Properties of lattices
We now introduce a number of important properties that lead to interesting special classes of lattices. One, boundedness, has already been discussed.
[edit] Completeness
A poset is called a complete lattice if all its subsets have both a join and a meet. In particular, every complete lattice is a bounded lattice. While bounded lattice homomorphisms in general preserve only finite joins and meets, complete lattice homomorphisms are required to preserve arbitrary joins and meets.
Every poset that is a complete semilattice is also a complete lattice. Related to this result is the interesting phenomenon that there are various competing notions of homomorphisms for this class of posets, depending on whether they are seen as complete lattices, complete joinsemilattices, complete meetsemilattices, or as joincomplete or meetcomplete lattices.
[edit] Distributivity
Since lattices come with two binary operations, it is natural to ask whether one of them distributes over the other, i.e. whether one or the other of the following dual laws holds for any three elements a, b, c of L:
 Distributivity of ∨ over ∧
 a∨(b∧c) = (a∨b) ∧ (a∨c).
 Distributivity of ∧ over ∨
 a∧(b∨c) = (a∧b) ∨ (a∧c).
A lattice that satisfies the first or, equivalently (as it turns out), the second axiom, is called a distributive lattice.
For an overview of stronger notions of distributivity which are appropriate for complete lattices and which are used to define more special classes of lattices such as frames and completely distributive lattices, see distributivity in order theory.
[edit] Modularity
For some applications the distributivity condition is too strong, and the following weaker property is often useful. A lattice (L, ∨, ∧) is modular if, for all elements a, b, c of L, the following identity holds.
 Modular identity
 (a ∧ c) ∨ (b ∧ c) = [(a ∧ c) ∨ b] ∧ c.
This condition is equivalent to the following axiom.
 Modular law
 a ≤ c implies a ∨ (b ∧ c) = (a ∨ b) ∧ c.
Besides distributive lattices, examples of modular lattices are the lattice of submodules of a module, and the lattice of normal subgroups of a group.
[edit] Semimodularity
A finite lattice is modular if and only if it is both upper and lower semimodular. For a graded lattice, (upper) semimodularity is equivalent to the following condition on the rank function r:
Another equivalent (for graded lattices) condition is Birkhoff's condition:
 for each x and y in L, if x and y both cover , then covers both x and y.
A lattice is called lower semimodular if its dual is semimodular. For finite lattices this means that the previous conditions hold with and exchanged, "covers" exchanged with "is covered by", and inequalities reversed.^{[1]}
[edit] Continuity and algebraicity
In domain theory, it is natural to seek to approximate the elements in a partial order by "much simpler" elements. This leads to the class of continuous posets, consisting of posets where any element can be obtained as the supremum of a directed set of elements that are waybelow the element. If one can additionally restrict these to the compact elements of a poset for obtaining these directed sets, then the poset is even algebraic. Both concepts can be applied to lattices as follows:
 A continuous lattice is a complete lattice that is continuous as a poset.
 An algebraic lattice is a complete lattice that is algebraic as a poset.
Both of these classes have interesting properties. For example, continuous lattices can be characterized as algebraic structures (with infinitary operations) satisfying certain identities. While such a characterization is not known for algebraic lattices, they can be described "syntactically" via Scott information systems.
[edit] Complements and pseudocomplements
Let L be a bounded lattice with greatest element 1 and least element 0. Two elements x and y of L are complements of each other if and only if:
 and
In this case, we write ¬x = y and equivalently, ¬y = x. A bounded lattice for which every element has a complement is called a complemented lattice. The corresponding unary operation over L, called complementation, introduces an analogue of logical negation into lattice theory. The complement is not necessarily unique, nor does it have a special status among all possible unary operations over L. A complemented lattice that is also distributive is a Boolean algebra. For a distributive lattice, the complement of x, when it exists, is unique.
Heyting algebras are an example of distributive lattices having at least some members lacking complements. Every element x of a Heyting algebra has, on the other hand, a pseudocomplement, also denoted ¬x. The pseudocomplement is the greatest element y such that xy = 0. If the pseudocomplement of every element of a Heyting algebra is in fact a complement, then the Heyting algebra is in fact a Boolean algebra.
[edit] Sublattices
A sublattice of a lattice L is a nonempty subset of L which is a lattice with the same meet and join operations as L. That is, if L is a lattice and M is a subset of L such that for every pair of elements a, b in M both ab and ab are in M, then M is a sublattice of L.^{[2]}
A sublattice M of a lattice L is a convex sublattice of L, if x ≤ z ≤ y and x, y in M implies that z belongs to M, for all elements x, y, z in L.
[edit] Free lattices
Any set X may be used to generate the free semilattice FX. The free semilattice is defined to consist of all of the finite subsets of X, with the semilattice operation given by ordinary set union. The free semilattice has the universal property.
[edit] Important latticetheoretic notions
In the following, let L be a lattice. We define some ordertheoretic notions that are of particular importance in lattice theory.
An element x of L is called join irreducible if and only if
 x = a v b implies x = a or x = b for any a, b in L,
 if L has a 0, x is sometimes required to be different from 0.
When the first condition is generalized to arbitrary joins Va_{i}, x is called completely join irreducible. The dual notion is called meet irreducibility. Sometimes one also uses the terms virreducible and ^irreducible, respectively.
An element x of L is called join prime if and only if
 x ≤ a v b implies x ≤ a or x ≤ b,
 if L has a 0, x is sometimes required to be different from 0.
Again, this can be generalized to obtain the notion completely join prime and dualized to yield meet prime. Any joinprime element is also join irreducible, and any meetprime element is also meet irreducible. If the lattice is distributive the converse is also true.
An element x of L is an atom, if L has a 0, 0 < x, and there exists no element y of L such that 0 < y < x. L is atomic, if for every nonzero element x of L there exists an atom a of L such that . L is atomistic, if every element of L is a supremum of atoms, that is, for all a, b in L such that , there exists an atom x of L such that and .
Other important notions in lattice theory are ideal and its dual notion filter. Both terms describe special subsets of a lattice (or of any partially ordered set in general). Details can be found in the respective articles.
[edit] See also
 Map of lattices
 Pointless topology
 Lattice of subgroups
 Ontology (computer science)
 Orthocomplemented lattice
[edit] Notes
 ^ Stanley, Richard P. Enumerative Combinatorics (vol. 1). Cambridge University Press. pp. 103–104. ISBN 0521663512.
 ^ Burris, Stanley N., and H.P. Sankappanavar, H. P., 1981. A Course in Universal Algebra. SpringerVerlag. ISBN 3540905782.
[edit] References
Monographs available free online:
 Burris, Stanley N., and H.P. Sankappanavar, H. P., 1981. A Course in Universal Algebra. SpringerVerlag. ISBN 3540905782.
 Jipsen, Peter, and Henry Rose, Varieties of Lattices, Lecture Notes in Mathematics 1533, Springer Verlag, 1992. ISBN 0387563148.
 Nation, J. B., Notes on Lattice Theory. Chapters 16. Chapters 712; Appendices 13.
Elementary texts recommended for those with limited mathematical maturity:
 Donnellan, Thomas, 1968. Lattice Theory. Pergamon.
 Grätzer, G., 1971. Lattice Theory: First concepts and distributive lattices. W. H. Freeman.
The standard contemporary introductory text, somewhat harder than the above:
 Davey, B.A.; Priestley, H. A. (2002), Introduction to Lattices and Order, Cambridge University Press, ISBN 9780521784511
Advanced monographs:
 Garrett Birkhoff, 1967. Lattice Theory, 3rd ed. Vol. 25 of AMS Colloquium Publications. American Mathematical Society.
 Robert P. Dilworth and Crawley, Peter, 1973. Algebraic Theory of Lattices. PrenticeHall. ISBN 9780130222695.
On free lattices:
 R. Freese, J. Jezek, and J. B. Nation, 1985. "Free Lattices". Mathematical Surveys and Monographs Vol. 42. Mathematical Association of America.
 Johnstone, P.T., 1982. Stone spaces. Cambridge Studies in Advanced Mathematics 3. Cambridge University Press.
[edit] External links
 Eric W. Weisstein et al. "Lattice." From MathWorldA Wolfram Web Resource.
 J.B. Nation, Notes on Lattice Theory, unpublished course notes available as two PDF files.
 Ralph Freese, "Lattice Theory Homepage".