On properties described by terms in commutator relation

arXiv2302.11448MaRDI QIDQ6427294FDOQ6427294

Stefano Fioravanti

Publication date: 22 February 2023

Abstract: We investigate properties of varieties of algebras described by a new concept of equation that we call emph{commutator equation}. A commutator equation is a relaxation of the standard term equality obtained substituting the equality relation with the commutator relation. Namely, an algebra $mathbfA$ satisfies the commutator equation $pappro{x}_{C}q$ if for each congruence $heta$ in $extCon(mathbfA)$ and for each substitution $p^{mathbfA},q^{mathbfA}$ of elements in the same $heta$-class, then $(p^{mathbfA},q^{mathbfA})in[heta,heta]$. This concept of equation is inspired by the definition of weak difference term and allows for further generalization of this notion. Furthermore, we prove that if the variety generated by the abelian algebras of the idempotent reduct of a variety satisfies a non-trivial idempotent Mal'cev condition then also the entire variety satisfies a non-trivial idempotent Mal'cev condition. This result represents an improvement of Taylor's characterization of the class of varieties satisfying a non-trivial idempotent Mal'cev condition obtained with a relaxation of the hypothesis. Moreover, we provide an algorithm to connect congruence equations that hold in the variety generated by the abelian algebras of the idempotent reduct of a variety and congruence equations that hold in the whole variety.

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

This page was built for publication: On properties described by terms in commutator relation

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