Home
Scholarly Works
Deciding some Maltsev conditions in finite...
Preprint

Deciding some Maltsev conditions in finite idempotent algebras

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ónsson (or Gumm) terms of fixed length.

Authors

Kazda A; Valeriote M

Publication date

April 19, 2017

DOI

10.48550/arxiv.1704.05928

Preprint server

arXiv
View published work (Non-McMaster Users)

Contact the Experts team