Syllabus
Free lattices: free lattice and free product, Whitman's conditions, free lattice generated by three elements, semidistributive lattices, covers in free lattices
Lattice varieties: varieties and fully invariant congruence relations, structure of lattice varieties, equational bases
Tensor product: tensor product of join-semilattices, capped product, tensor product and congruences
Representation of algebraic lattices:
Lampe's theorem, Kuratowski lemma, Dilworth's congruence lattice problem
Annotation
Free lattice, lattice varieties, tensor product of lattices, representation of algebraic lattices.