Deciding some Maltsev conditions in finite idempotent algebras
Rings and Algebras
2020-06-17 v2 Computational Complexity
Abstract
In this paper we investigate the computational complexity of deciding if a given finite algebraic structure satisfies a fixed (strong) Maltsev condition . Our goal in this paper is to show that -testing can be accomplished in polynomial time when the algebras tested are idempotent and the Maltsev condition can be described using paths. Examples of such path conditions are having a Maltsev term, having a majority operation, and having a chain of J\'onsson (or Gumm) terms of fixed length.
Keywords
Cite
@article{arxiv.1704.05928,
title = {Deciding some Maltsev conditions in finite idempotent algebras},
author = {Alexandr Kazda and Matt Valeriote},
journal= {arXiv preprint arXiv:1704.05928},
year = {2020}
}
Comments
33 pages, 19 figures