Exact-m-majority terms

DOI10.1515/MS-2024-0022MaRDI QIDQ6411812zbMATH OpenFDO

Authors Paolo Lipparini

Publication date 24 September 2022

Full work available at URL https://doi.org/10.1515/MS-2024-0022

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Abstract: We say that an idempotent term $t$ is an exact-$m$-majority term if $t$ evaluates to $a$, whenever the element $a$ occurs exactly $m$ times in the arguments of $t$, and all the other arguments are equal. If $m<n$ and some variety $mathcalV$ has an $n$-ary exact-$m$-majority term, then $mathcalV$ is congruence modular. For certain values of $n$ and $m$, for example, $n=5$ and $m=3$, the existence of an $n$-ary exact-$m$-majority term neither implies congruence distributivity, nor congruence permutability.

Recommendations

• Relation identities in 3-distributive varieties
• Idempotent Mal'cev conditions and 2-uniform congruences
• Mitschke's theorem is sharp
• Few subpowers, congruence distributivity and near-unanimity terms
• Majority categories

Cited in

(2)

• On the Cartesian product of the Menger algebras of terms and relational formulas
• Combinatorial results to measure the complexity of quantifier free formulas in algebraic systems

This page was built for publication: Exact-$m$-majority terms

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