English

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 Σ\Sigma. Our goal in this paper is to show that Σ\Sigma-testing can be accomplished in polynomial time when the algebras tested are idempotent and the Maltsev condition Σ\Sigma 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