Iterative separation in distributive congruence lattices

Miroslav Ploščica
2009 Mathematica Slovaca  
AbstractIn [PLOŠČICA, M.: Separation in distributive congruence lattices, Algebra Universalis 49 (2003), 1–12] we defined separable sets in algebraic lattices and showed a close connection between the types of non-separable sets in congruence lattices of algebras in a finitely generated congruence distributive variety and the structure of subdirectly irreducible algebras in . Now we generalize these results using the concept of separable mappings (defined on some trees) and apply them to some
more » ... pply them to some lattice varieties.
doi:10.2478/s12175-009-0119-2 fatcat:vy3bc4fhuzedpejlt5pjlc4dce