Separation in distributive congruence lattices

DOI10.1007/S000120300000MaRDI QIDQ2496136zbMATH OpenOpenAlexFDO

Authors Miroslav Ploščica

Publication date 12 July 2006

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s000120300000

zbMATH Keywords

algebraic latticecongruence distributive varietycongruence lattice

Mathematics Subject Classification ID

Varieties of lattices (06B20) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Subdirect products and subdirect irreducibility (08B26)

Review text

The paper is an important contribution to the long-standing general problem: characterize lattices isomorphic to congruence lattices of algebras of a given variety \(\mathcal V\). The author concentrates on finitely generated and congruence distributive varieties. Even under these restrictions the problem is very hard and there are only few varieties for which a satisfactory answer is known. No obvious conditions are known for an algebraic lattice to belong to \(\text{Con} \mathcal A\) for some \(\mathcal A\in \mathcal V\). It turns out that the congruence lattices of subalgebras of SI-members of \(\mathcal V\) play an important role. The author introduced the concept of a separable subset of an algebraic lattice which is fundamental for his investigations. For a finitely generated congruence distributive variety \(\mathcal V\), he gets a close connection between non-separable sets in congruence lattices of algebras of \(\mathcal V\) and the structure of SI-members of \(\mathcal V\). The general result is applied to several lattice varieties. The paper contains also five open problems.

Recommendations

• Relative separation in distributive congruence lattices
• Iterative separation in distributive congruence lattices
• Separation properties in congruence lattices of lattices
• Local separation in distributive semilattices
• Separatory sublattices and subsemilattices

Cited in

(14)

• The possible values of critical points between varieties of lattices
• \(T_1\)-separable numberings of subdirectly indecomposable algebras
• The possible values of critical points between strongly congruence-proper varieties of algebras
• Relative separation in distributive congruence lattices
• Local separation in distributive semilattices
• Congruence lattices in varieties with compact intersection property.
• Separatory sublattices and subsemilattices
• Iterative separation in distributive congruence lattices
• Infinite combinatorial issues raised by lifting problems in universal algebra
• scientific article; zbMATH DE number 2070408 (Why is no real title available?)
• Separation properties in congruence lattices of lattices
• Congruence FD-maximal varieties of algebras
• Distributivity of a segmentation lattice
• Diagram induced properties of congruence lattices

This page was built for publication: Separation in distributive congruence lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2496136)