An easy test for congruence modularity

DOI10.1007/s00012-012-0186-zzbMath1259.08004MaRDI QIDQ451080

Topaz Dent, Keith A. Kearnes, Ágnes Szendrei

Publication date: 27 September 2012

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-012-0186-z

zbMATH Keywords

congruence modular variety; congruence identity; Day terms; Gumm terms

Mathematics Subject Classification ID

08B05: Equational logic, Mal'tsev conditions

08B10: Congruence modularity, congruence distributivity

Related Items

Unnamed Item, The Gumm level equals the Alvin level in congruence distributive varieties, The Tschantz and the Alvin higher conditions are equivalent in congruence distributive varieties, Algebras from congruences, Connected monads weakly preserve products, Equations implying congruence \(n\)-permutability and semidistributivity., Taylor's modularity conjecture holds for linear idempotent varieties., Dualizable algebras with parallelogram terms

Cites Work

• Unnamed Item
• Unnamed Item
• On congruence distributivity and modularity
• Axiomatizable and nonaxiomatizable congruence prevarieties
• Congruence varieties
• Congruence modularity is permutability composed with distributivity
• Varieties whose congruences satisfy certain lattice identities
• Congruence join semidistributivity is equivalent to a congruence identity.
• Hausdorff properties of topological algebras.
• \(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
• On \(n\)-permutable congruences
• Varieties with few subalgebras of powers
• The structure of finite algebras
• Undecidable properties of finite sets of equations
• The shape of congruence lattices
• Growth rates of algebras, II: Wiegold dichotomy
• Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$
• A Characterization of Modularity for Congruence Lattices of Algebras*
• On the representation of lattices
• Topological implications in varieties