The shape of congruence lattices

DOI10.1090/S0065-9266-2012-00667-8zbMATH Open1294.08002OpenAlexW2002611651MaRDI QIDQ4979155FDOQ4979155

Authors: 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

Recommendations

• scientific article; zbMATH DE number 194020
• scientific article; zbMATH DE number 48939
• Algebras, lattices, varieties. Volume II
• The structure of finite algebras
• scientific article; zbMATH DE number 52297

zbMATH Keywords

solvabilitycommutator theoryMal'tsev conditioncongruence identitycongruence modularityterm conditionresidual smallnesscongruence 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)

Cites Work

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

Cited In (59)

• Unifying the three algebraic approaches to the CSP via minimal Taylor algebras
• Finitely based congruence varieties
• On Freese’s technique
• Varieties defined by basic equations have the amalgamation property
• Taylor is prime
• Finite algebras with Hom-sets of polynomial size
• Lattices of topologies and quasi-orders on a finite chain
• Commutator equations
• Supernilpotence need not imply nilpotence
• On the prevariety of perfect lattices
• Testing for a semilattice term
• On prevarieties of logic
• Anticommutativity and the triangular lemma
• Naturally dualizable algebras omitting types 1 and 5 have a cube term
• Reconstructing the topology of clones
• Mal'cev conditions corresponding to identities for compatible reflexive relations
• On supernilpotent algebras
• Varieties whose finitely generated members are free
• Relation identities in 3-distributive varieties
• Loop conditions for strongly connected digraphs
• Acts with identities in the congruence lattice
• Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting)
• Characterizing the commutator in varieties with a difference term
• Constant-query testability of assignments to constraint satisfaction problems
• Testing for edge terms is decidable
• An easy test for congruence modularity
• Another characterization of congruence distributive varieties
• Acts over semigroups
• The smallest hard trees
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
• Higher Kiss terms
• Preserving near unanimity terms under products
• Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• The poset of all logics. III: Finitely presentable logics
• Deciding the existence of minority terms
• Characterizations of several Maltsev conditions.
• Distribution of shapes of orthogonal lattices
• Title not available (Why is that?)
• Maltsev families of varieties closed under join or Maltsev product
• Natural extensions and profinite completions of algebras
• On the complexity of the Leibniz hierarchy
• CSP for binary conservative relational structures
• Taylor's modularity conjecture and related problems for idempotent varieties
• \(n\)-permutability is not join-prime for \(n\geq 5\)
• Random models of idempotent linear Maltsev conditions. I. Idemprimality
• Minimal abelian varieties of algebras, I
• A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
• DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
• Supernilpotent Taylor algebras are nilpotent
• Elimination of quotients in various localisations of premodels into models
• Polynomial-time tests for difference terms in idempotent varieties
• Equations implying congruence \(n\)-permutability and semidistributivity.
• Relative Maltsev definability of some commutator properties
• Maltsev conditions for general congruence meet-semidistributive algebras
• A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• Title not available (Why is that?)
• Some structural and residual properties of 2-semilattices
• Complexity and polymorphisms for digraph constraint problems under some basic constructions

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

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