Deciding the existence of quasi weak near unanimity terms in finite algebras

2020/02/14 by Kazda, Alexandr
#08B05 (Primary) 68Q25 (Secondary) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics #Rings and Algebras (math.RA)

paper · doi:10.48550/arxiv.2002.06083

Abstract

We show that for a fixed positive integer k one can efficiently decide if a finite algebra A admits a k-ary weak near unanimity operation by looking at the local behavior of the terms of A. We also observe that the problem of deciding if a given finite algebra has a quasi Taylor operation is solvable in polynomial time by looking, essentially, for local quasi Siggers operations.

Related

• Taylor term does not imply any nontrivial linear one-equality Maltsev\n condition
• Checking Admissibility Using Natural Dualities
• Epimorphisms between finitely generated algebras
• The algebra of functions with antidomain and range
• Existence of cube terms in finite algebras