Simpler Maltsev conditions for (weak) difference terms in locally finite varieties

This paper is motivated by a practical question: given a finite algebra A in a finite language, how can we best program a computer to decide whether the variety generated by A has a difference term, and how hard is it to find the difference term? To help address this question, we produce a simple Ma...

Full description

Saved in:
Bibliographic Details
Published inAlgebra universalis Vol. 78; no. 4; pp. 555 - 561
Main Authors Kearnes, Keith A., Szendrei, Ágnes, Willard, Ross
Format Journal Article
LanguageEnglish
Published Cham Springer International Publishing 01.12.2017
Springer Nature B.V
Subjects
Algebra
Mathematics
Mathematics and Statistics
locally finite
Maltsev condition
difference term
Secondary: 03C05
Primary: 08B05
variety
Online AccessGet full text

Cover

More Information
Summary:This paper is motivated by a practical question: given a finite algebra A in a finite language, how can we best program a computer to decide whether the variety generated by A has a difference term, and how hard is it to find the difference term? To help address this question, we produce a simple Maltsev condition which characterizes difference terms in the class of locally finite varieties. We do the same for weak difference terms.
ISSN:0002-5240
1420-8911
DOI:10.1007/s00012-017-0475-7