\(n\)-permutable varieties satisfy non trivial congruence identities
From MaRDI portal
Publication:1842590
DOI10.1007/BF01190927zbMath0821.08007OpenAlexW1983162436MaRDI QIDQ1842590
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
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