\(n\)-permutable varieties satisfy non trivial congruence identities
type: Item
instance of: scholarly article
title: \(n\)-permutable varieties satisfy non trivial congruence identities
zbMATH Open document ID: 0821.08007
DOI: 10.1007/BF01190927
author: Paolo Lipparini
published in: Algebra Universalis
publication date: 1995-09-18T00:00:00Z
review text: A variety \({\mathcal V}\) is called \(n\)-permutable if, for every algebra \(A\in {\mathcal V}\) and congruences \(\alpha, \beta\) on \(A\), \(\alpha\circ \beta\circ \alpha\circ \ldots= \beta\circ \alpha\circ \beta\circ \ldots\) with \(n-1\) \(\circ\)'s on each side. The author proves that, for each \(n\geq 2\), there is a nontrivial identity holding in every congruence lattice of algebras in \(n\)-permutable varieties. Under the presence of a semilattice operation, a similar result was obtained by A. Day [see \textit{B. Jónsson}, Algebra Univers. 10, 355-394 (1980; Zbl 0438.08003)]. \textit{D. Hobby} and \textit{R. McKenzie} proved the result for locally finite varieties [The structure of finite algebra (Contemp. Math. 76) (1988; Zbl 0721.08001), Theorem 9.19], but their identity depends also on the variety, not just on \(n\). The paper contains some other results and several open problems.
Mathematics Subject Classification ID: 08B10
zbMATH DE Number: 750785
zbMATH Keywords: congruence identity
zbMATH Keywords: commutator of congruences
zbMATH Keywords: congruence lattice
zbMATH Keywords: \(n\)- permutable varieties
reviewed by: Boris Vernikov
MaRDI profile type: Publication
cites work: Congruence lattices of algebras of fixed similarity type. I
cites work: Q3775604
cites work: Congruence lattices of semilattices
cites work: Geometrical methods in congruence modular algebras
cites work: Finite fixed point algebras are subdiagonalisable
cites work: Problems and results in tame congruence theory. A survey of the '88 Budapest workshop
cites work: Congruence varieties
cites work: Commutator Theory Without Join-Distributivity
cites work: Q4321704
cites work: Q3337662
cites work: Quasi-affine algebras
cites work: Some applications of the term condition
cites work: Characterizing Mal'cev conditions
cites work: M n as a 0, 1-Sublattice of Con A Does not Force the Term Condition
full work available at URL: https://doi.org/10.1007/bf01190927
OpenAlex ID: W1983162436
description: scientific article; zbMATH DE number 750785