An easy test for congruence modularity

DOI10.1007/S00012-012-0186-ZzbMath1259.08004OpenAlexW2028175929MaRDI 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 varietycongruence identityDay termsGumm terms

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Related Items (8)

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

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

This page was built for publication: An easy test for congruence modularity