Exact-$m$-majority terms
Rings and Algebras
2024-05-28 v2
Abstract
We say that an idempotent term is an exact--majority term if evaluates to , whenever the element occurs exactly times in the arguments of , and all the other arguments are equal. If and some variety has an -ary exact--majority term, then is congruence modular. For certain values of and , for example, and , the existence of an -ary exact--majority term neither implies congruence distributivity, nor congruence permutability.
Cite
@article{arxiv.2209.12088,
title = {Exact-$m$-majority terms},
author = {Paolo Lipparini},
journal= {arXiv preprint arXiv:2209.12088},
year = {2024}
}
Comments
v2 minor modifications