On finite Taylor algebras

@article{Wires2016OnFT,
  title={On finite Taylor algebras},
  author={A. Wires},
  journal={Int. J. Algebra Comput.},
  year={2016},
  volume={26},
  pages={1547-1571}
}
  • A. Wires
  • Published 2016
  • Computer Science, Mathematics
  • Int. J. Algebra Comput.
We establish a new hereditary characterization of finite idempotent Taylor algebras. This generalizes the algebraic constructions which figured in the recent successful characterization of the correctness of the bounded width algorithm for constraint satisfaction problems by finite idempotent algebras generating congruence meet-semidistributive varieties. We introduce the cyclic reduct of a finite Taylor algebra and prove a collapse of Mal’cev conditions.