Lattices-An Introduction
Lattices-An Introduction
Lattices-An Introduction
Felix Gotti
[email protected]
UC Berkeley
General Lattices
Modular Lattices
Distributive Lattices
Theorem
If L is a lattice, the join (resp., the meet) of any finite subset of L
exists.
Proof: It follows by induction.
Remark:
I If L is a lattice and S ⊆ L is an infinite subset, the join (resp.,
meet) of S might not exists. Consider an open interval of R.
I A finite lattice always contains 0̂ and 1̂.
Definition
A lattice L is said to be complete if every subset of L has a join
and a meet.
Theorem
A finite join-semilattice containing 0̂ is a lattice.
Sketch of proof: Let L be a join-semilattice with 0̂. For u, v ∈ L
consider the set S = { s ∈ L | s ≤ u and s ≤ v }. Take m to be the
join of the finitely many elements of S. Check that m = u ∧ v .
Definition
Let ϕ : L → L0 be map between lattices.
I ϕ is a lattice homomorphism if ϕ(r ∨ s) = ϕ(r ) ∨ ϕ(s) and
ϕ(r ∧ s) = ϕ(r ) ∧ ϕ(s) for all r , s ∈ L.
I A lattice homomorphism ϕ : L → L0 is said to be an
isomorphism if it is a bijection. In this case, we say that the
lattices L and L0 are isomorphic.
Remarks:
I It is easy to check that a homomorphism of lattices is an
order-preserving map.
I A homomorphism of lattices ϕ : L → L0 is an isomorphism iff
there exists a homomorphism of lattices ψ : L0 → L such that
ϕ ◦ ψ = IdL0 and ψ ◦ ϕ = IdL .
r = r ∨ (r ∧ s) = r ∨ (s ∧ u) = (r ∨ s) ∧ u = u.
Theorem
For a finite upper semimodular lattice L the following conditions
are equivalent.
1. L is atomic.
2. L is relatively complemented.
Proof: Omitted.
r ∨ (t ∧ s) = (r ∨ t) ∧ (r ∨ s) = (r ∨ t) ∧ s.
Definition
Let P be a poset.
1. A subset A of P is an antichain if any two distinct elements of
A are incomparable.
2. A subset I of P is an order ideal if s ∈ I and r ≤ s implies
that r ∈ I .
Theorem
Let P be a finite poset. There is a bijection between the set of
antichain and the set of order ideals of P.
Sketch of proof: Assign to the order ideal I the antichain AI
consisting of all maximal elements of I . Conversely, assign to the
antichain A the order ideal IA := { s ∈ P | s ≤ a for some a ∈ A }.
Definition
Let P be a poset.
1. An order ideal I is generated by the antichain A, if I = IA .
2. If I is generated by {s} it is called principal and denoted by Λs .
3. The set of all order ideals of P is denoted by J(P).
Theorem
If P is a poset J(P) is a distributive lattice.
Sketch of proof: J(P) is a poset under inclusion. If I and J are
order ideals of P then so are I ∩ J and I ∪ J; therefore J(P) is a
lattice. Since intersection and union of sets distribute with each
other, J(P) is distributive.
Definition
Let L be a lattice and s ∈ L. We call s join-irreducible if s 6= 0̂ and
s is not the join of two strictly smaller elements.
Theorem
Let P be a finite poset.
1. An order ideal I of P is join-irreducible in J(P) iff it is
principal.
2. The set of join-irreducible of J(P), considered as a subposet
of J(P), is isomorphic to P. Hence J(P) ∼ = J(Q) iff P ∼
= Q.
Proof: Straightforward.
Theorem
If P is a poset of order n then J(P) is graded of rank n.
Furthermore, if I ∈ J(P) then ρ(I ) = |I |.
Proof: Exercise.
Theorem
If L is a FDL, the following conditions are equivalent.
1. L is complemented.
2. L is relatively complemented.
3. L is atomic.
4. 1̂ is a join of atoms.
Proof: Exercise.