The shape of congruence lattices

DOI10.1090/S0065-9266-2012-00667-8zbMath1294.08002OpenAlexW2002611651MaRDI 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

solvabilitycongruence identitycongruence modularityresidual smallnessMal'tsev conditioncommutator theoryterm conditioncongruence semidistributivitymeet continuous latticeweak difference term

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items (50)

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

Cites Work

• 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
• 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

This page was built for publication: The shape of congruence lattices