Representing congruence lattices of latt
β
G. GrΓ€tzer; E.T. Schmidt
π
Article
π
2003
π
Elsevier Science
π
English
β 328 KB
Let L be a bounded lattice, let [a, b] and [c, d] be intervals of L, and let Ο : [a, b] β [c, d] be an isomorphism between these two intervals. Let us consider the algebra L β β Ο = L; β§, β¨, Ο, Ο -1 , which is a lattice with two partial unary operations. We construct a bounded lattice K (in fact, a