\(n\)-permutable varieties satisfy non trivial congruence identities

DOI10.1007/BF01190927zbMath0821.08007OpenAlexW1983162436MaRDI QIDQ1842590

Paolo Lipparini

Publication date: 18 September 1995

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

Full work available at URL: https://doi.org/10.1007/bf01190927

zbMATH Keywords

congruence latticecongruence identity\(n\)- permutable varietiescommutator of congruences

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10)

Related Items (18)

Semigroup varieties with 1.5-permutable fully invariant congruences on their free objects. ⋮ Alan Day's early work: Congruence identities ⋮ Facets of congruence distributivity in Goursat categories ⋮ Absorption and directed Jónsson terms ⋮ Universal algebraic methods for non-classical logics ⋮ Joins and subdirect products of varieties ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ An easy test for congruence modularity ⋮ On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II. ⋮ Relation identities in 3-distributive varieties ⋮ Fragments of R-mingle ⋮ A finite basis theorem for difference-term varieties with a finite residual bound ⋮ Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$ ⋮ Commutator Theory Without Join-Distributivity ⋮ Two weaker variants of congruence permutability for monoid varieties ⋮ The shape of congruence lattices ⋮ Congruence modularity implies the Arguesian law for single algebras with a difference term ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite fixed point algebras are subdiagonalisable
• Quasi-affine algebras
• Congruence varieties
• Some applications of the term condition
• Problems and results in tame congruence theory. A survey of the '88 Budapest workshop
• Characterizing Mal'cev conditions
• Congruence lattices of algebras of fixed similarity type. I
• Congruence lattices of semilattices
• M n as a 0, 1-Sublattice of Con A Does not Force the Term Condition
• Geometrical methods in congruence modular algebras
• Commutator Theory Without Join-Distributivity

This page was built for publication: \(n\)-permutable varieties satisfy non trivial congruence identities