In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most famous and long-standing open problems in lattice theory; it had a deep impact on the development of lattice theory itself. The conjecture that every distributive lattice is a congruence lattice is true for all distributive lattices with at most ℵ1 compact elements, but F. Wehrung provided a counterexample for distributive lattices with ℵ2 compact elements using a construction based on Kuratowski's free set theorem.
Read more about Congruence Lattice Problem: Preliminaries, Semilattice Formulation of CLP, Schmidt's Approach Via Distributive Join-homomorphisms, Pudlák's Approach; Lifting Diagrams of (∨,0)-semilattices, Congruence Lattices of Lattices and Nonstable K-theory of Von Neumann Regular Rings, A First Application of Kuratowski's Free Set Theorem, Solving CLP: The Erosion Lemma, A Positive Representation Result For Distributive Semilattices
Famous quotes containing the words congruence and/or problem:
“As for butterflies, I can hardly conceive
of one’s attending upon you; but to question
the congruence of the complement is vain, if it exists.”
—Marianne Moore (1887–1972)
“Give a scientist a problem and he will probably provide a solution; historians and sociologists, by contrast, can offer only opinions. Ask a dozen chemists the composition of an organic compound such as methane, and within a short time all twelve will have come up with the same solution of CH4. Ask, however, a dozen economists or sociologists to provide policies to reduce unemployment or the level of crime and twelve widely differing opinions are likely to be offered.”
—Derek Gjertsen, British scientist, author. Science and Philosophy: Past and Present, ch. 3, Penguin (1989)