FG1 Seminar talk

2009-01-23
Jonathan Farley
Functions on Distributive Lattices with the Congruence Substitution Property: Some Problems of Grätzer from 1964

Abstract:
Let L be a bounded distributive lattice and let k≥1. A function f:Lk→L has the congruence substitution property if, for every congruence θ of L, and all (a1,b1),...,(ak,bk)∈θ, we have f(a1,...,ak) θ f(b1,....,bk). The set of all such functions forms a bounded distributive lattice, denoted Sk(L) (also called the lattice of Boolean functions). Let S(L) be the lattice of all Boolean functions of finite arity on the variables x1, x2, ....

In 1964, Grätzer asked:

Using Priestley duality, we answer both questions. (The corresponding questions in the unbounded case---also asked by Grätzer---are open.)

You have to come to the talk to see what the answer is.