R. Freese, K. Kearnes, J. B. Nation: Congruence Semidistributive Algebras .... We will give two proofs, the first using property (5) of Theorem 1, and the second.
A non-congruence-distributive example of Corollary 27 is Polin's variety P from [27]. This is a finitely generated variety of type {3} (Exercise 9.20(6) of [14]).
Jan 25, 2005 - arXiv:math/0501459v1 [math.GM] 25 Jan 2005. CONGRUENCE LATTICES OF FREE LATTICES IN. NON-DISTRIBUTIVE VARIETIES.
to the congruence lattice of an infinite locally finite algebra but not yet known to be .... It follows easily from the definitions that any abelian congruence is locally.
Mar 25, 2009 - Let us call a lattice isoform, if for any congruence, all congruence classes .... We proceed to define the desired order on the direct product SP .
G. Gratzer and E. T. Schmidt: m-complete congruence lattices. 93. For an m-complete lattice V and an m-complete congruence a on V, we define the prime.
than Boolean circuits, one could hope that the fundamental problems of theoretical ..... Cooley and Tukey's algorithm for the Discrete Fourier Transform [CT65],.
Jun 28, 2016 - Hindawi Publishing Corporation. Journal of ... Singer and Wermer [14] obtained a fundamental result ... The so-called Singer-Wermer theo-.
Jan 22, 2005 - 2000 Mathematics Subject Classification. 06B10, 06E05 ... ative solutions to CLP are obtained via certain infinitary sentences of the theory of ..... We summarize in Table 1 many known results and questions about uniform re- .... with N6, the six element sectionally complemented lattice obtained by replacing.
arXiv:math/0501375v1 [math.GM] 22 Jan 2005
A SURVEY OF RECENT RESULTS ON CONGRUENCE LATTICES OF LATTICES ˇ ´I T˚ JIR UMA AND FRIEDRICH WEHRUNG Dedicated to Ralph McKenzie on his 60-th birthday
Abstract. We review recent results on congruence lattices of (infinite) lattices. We discuss results obtained with box products, as well as categorical, ring-theoretical, and topological results.
Contents 1. Introduction 2. Uniform Refinement Properties 3. The M3 hLi construction, tensor product, and box product 4. The functor Conc on partial lattices 5. Lifting diagrams of semilattices by diagrams of partial lattices 6. Extensions of partial lattices to lattices 7. Connections to ring theory 8. Dual topological spaces 9. Open problems Acknowledgments Added in proof References
1 3 9 13 14 17 20 21 23 25 25 25
1. Introduction For a lattice L, the congruence lattice of L, denoted here by Con L, is the lattice of all congruences of L under inclusion. As the congruence lattice of any algebraic system, the lattice Con L is algebraic. The compact elements of Con L are the finitely generated congruences, that is, the congruences of the form _ ΘL (ai , bi ), i
