An easy test for congruence modularity

DOI10.1007/S00012-012-0186-ZMaRDI QIDQ451080zbMATH OpenOpenAlexFDO

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

Recommendations

• Equations implying congruence \(n\)-permutability and semidistributivity.
• Taylor's modularity conjecture holds for linear idempotent varieties.
• Taylor's modularity conjecture and related problems for idempotent varieties
• Almost all minimal idempotent varieties are congruence modular
• scientific article; zbMATH DE number 3939410
• A Characterization of Varieties with a Difference Term
• scientific article; zbMATH DE number 3943892
• Alan Day's early work: Congruence identities
• scientific article; zbMATH DE number 742853
• scientific article; zbMATH DE number 2006629

Cites work

• scientific article; zbMATH DE number 714718 (Why is no real title available?)
• scientific article; zbMATH DE number 3415908 (Why is no real title available?)
• A Characterization of Modularity for Congruence Lattices of Algebras*
• Almost all minimal idempotent varieties are congruence modular
• Axiomatizable and nonaxiomatizable congruence prevarieties
• Congruence join semidistributivity is equivalent to a congruence identity.
• Congruence lattices of semilattices
• Congruence modularity is permutability composed with distributivity
• Congruence varieties
• Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$
• Growth rates of algebras. II: Wiegold dichotomy.
• Hausdorff properties of topological algebras.
• On \(n\)-permutable congruences
• On congruence distributivity and modularity
• On the representation of lattices
• The shape of congruence lattices
• The structure of finite algebras
• Topological implications in varieties
• Undecidable properties of finite sets of equations
• Varieties whose congruences satisfy certain lattice identities
• Varieties with few subalgebras of powers
• n-permutable varieties satisfy non trivial congruence identities
• p-modularity implies modularity in equational classes

Cited in

(10)

• Relative lengths of Maltsev conditions
• Algebras from congruences
• Connected monads weakly preserve products
• Congruence testing for odd subgroups of the modular group
• Taylor's modularity conjecture and related problems for idempotent varieties
• The subpower membership problem for finite algebras with cube terms
• Equations implying congruence \(n\)-permutability and semidistributivity.
• Taylor's modularity conjecture holds for linear idempotent varieties.
• The Gumm level equals the Alvin level in congruence distributive varieties
• The Tschantz and the Alvin higher conditions are equivalent in congruence distributive varieties

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

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