Congruence Lattice Problem - Semilattice Formulation of CLP

Semilattice Formulation of CLP

The congruence lattice Con A of an algebra A is an algebraic lattice. The (∨,0)-semilattice of compact elements of Con A is denoted by Conc A, and it is sometimes called the congruence semilattice of A. Then Con A is isomorphic to the ideal lattice of Conc A. By using the classical equivalence between the category of all (∨,0)-semilattices and the category of all algebraic lattices (with suitable definitions of morphisms), as it is outlined here, we obtain the following semilattice-theoretical formulation of CLP.

Read more about this topic:  Congruence Lattice Problem

Famous quotes containing the word formulation:

    Art is an experience, not the formulation of a problem.
    Lindsay Anderson (b. 1923)