The shape of congruence lattices

DOI10.1090/S0065-9266-2012-00667-8zbMath1294.08002MaRDI QIDQ4979155

Emil W. Kiss, Keith A. Kearnes

Publication date: 17 June 2014

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0065-9266-2012-00667-8

zbMATH Keywords

solvability; congruence identity; congruence modularity; residual smallness; Mal'tsev condition; commutator theory; term condition; congruence semidistributivity; meet continuous lattice; weak difference term

Mathematics Subject Classification ID

08B05: Equational logic, Mal'tsev conditions

08B10: Congruence modularity, congruence distributivity

08-02: Research exposition (monographs, survey articles) pertaining to general algebraic systems

Related Items

Unnamed Item, Loop conditions for strongly connected digraphs, Minimal abelian varieties of algebras, I, THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE, MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS, Higher Kiss terms, Deciding the Existence of Minority Terms, n-Permutability is not join-prime for n ≥ 5, Supernilpotent Taylor algebras are nilpotent, DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS, Constant-Query Testability of Assignments to Constraint Satisfaction Problems, Polynomial-time tests for difference terms in idempotent varieties, Complexity and polymorphisms for digraph constraint problems under some basic constructions, THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY, The smallest hard trees, Relative Maltsev definability of some commutator properties, Naturally dualizable algebras omitting types 1 and 5 have a cube term, Preserving near unanimity terms under products, Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties, An easy test for congruence modularity, A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots)., Maltsev families of varieties closed under join or Maltsev product, On the prevariety of perfect lattices, Natural extensions and profinite completions of algebras, Varieties whose finitely generated members are free, Testing for a semilattice term, On the complexity of the Leibniz hierarchy, On supernilpotent algebras, Taylor's modularity conjecture and related problems for idempotent varieties, A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties, Anticommutativity and the triangular lemma, Relation identities in 3-distributive varieties, The poset of all logics. III: Finitely presentable logics, Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting), Acts with identities in the congruence lattice, Characterizing the commutator in varieties with a difference term, Some structural and residual properties of 2-semilattices, Mal'cev conditions corresponding to identities for compatible reflexive relations, Random models of idempotent linear Maltsev conditions. I. Idemprimality, Supernilpotence need not imply nilpotence, On prevarieties of logic, Characterizations of several Maltsev conditions., Testing for edge terms is decidable, Elimination of quotients in various localisations of premodels into models, Equations implying congruence \(n\)-permutability and semidistributivity., CSP for binary conservative relational structures, Acts over semigroups, Reconstructing the topology of clones

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mal'cev conditions for Horn sentences with congruence permutability
• Horn sentences with (W) and weak Mal'cev conditions
• Axiomatizable and nonaxiomatizable congruence prevarieties
• Frames and rings in congruence modular varieties
• Affine complete varieties
• A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
• Lattice varieties covering the smallest non-modular variety
• Congruence varieties
• Problems and results in tame congruence theory. A survey of the '88 Budapest workshop
• Varieties whose congruences satisfy certain lattice identities
• Characterizing Mal'cev conditions
• The class of sublattices of normal subgroup lattices is not elementary
• Ideal lattices of lattices
• A characterization of semi-distributivity
• Congruence modularity implies the Arguesian identity
• A test for identities satisfied in lattices of submodules
• Congruence join semidistributivity is equivalent to a congruence identity.
• Finite algebras of finite complexity
• \(n\)-permutable varieties satisfy non trivial congruence identities
• Congruence lattices of semilattices
• p-modularity implies modularity in equational classes
• Almost all minimal idempotent varieties are congruence modular
• Varieties with a difference term
• Affine complete varieties are congruence distributive
• On \(n\)-permutable congruences
• Kongruenzklassengeometrien
• The triangular principle is equivalent to the triangular scheme
• RESIDUAL SMALLNESS AND WEAK CENTRALITY
• A Characterization of Identities Implying Congruence Modularity I
• Geometrical methods in congruence modular algebras
• The lattice of interpretability types of varieties
• The structure of finite algebras
• Varieties Obeying Homotopy Laws
• A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
• AN ORDER-THEORETIC PROPERTY OF THE COMMUTATOR
• Commutator Theory Without Join-Distributivity
• The Relationship Between Two Commutators
• Arguesian lattices which are not linear
• Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$
• A Characterization of Modularity for Congruence Lattices of Algebras*
• Local Malcev Conditions
• Equational Bases and Nonmodular Lattice Varieties
• A Characterization of Varieties with a Difference Term
• Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
• On the distributivity of a lattice of lattice-congruences
• A modification of Polin's variety
• A characterization of locally finite varieties that satisfy a nontrivial congruence identity
• 3-3 lattice inclusions imply congruence modularity