The weakest nontrivial idempotent equations
Logic
2017-10-18 v2
Abstract
An equational condition is a set of equations in an algebraic language, and an algebraic structure satisfies such a condition if it possesses terms that meet the required equations. We find a single nontrivial equational condition which is implied by any nontrivial idempotent equational condition.
Cite
@article{arxiv.1609.00531,
title = {The weakest nontrivial idempotent equations},
author = {Miroslav Olšák},
journal= {arXiv preprint arXiv:1609.00531},
year = {2017}
}