Skip to main content
SpringerLink
Log in

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

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Herrmann C.: Affine algebras in congruence modular varieties. Acta Sci. Math. (Szeged) 41, 119–125 (1979)

    MathSciNet  MATH  Google Scholar 

  2. Hobby, D., McKenzie, R.: The Structure of Finite Algebras. Contemp. Math., vol. 76. Amer. Math. Soc., Providence (1988)

  3. Kearnes K.A.: Varieties with a difference term. J. Algebra 177, 926–960 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  4. Kearnes K., Marković P., McKenzie R.: Optimal strong Mal’cev conditions for omitting type 1 in locally finite varieties. Algebra Universalis 72, 91–100 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  5. Kearnes K.A., Szendrei Á.: The relationship between two commutators. Internat. J. Algebra Comput. 8, 492–531 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  6. Kearnes K., Szendrei Á., Willard R.: A finite basis theorem for difference-term varieties with a finite residual bound. Trans. Amer. Math. Soc. 368, 2115–2143 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  7. Lipparini P.: A characterization of varieties with a difference term, II: neutral = meet semi-distributive. Canad. Math. Bull. 41, 318–327 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  8. Willard R.: A finite basis theorem for residually finite, congruence meet-semidistributive varieties. J. Symbolic Logic 65, 187–200 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  9. Wires A.: A quasi-Mal’cev condition with unexpected application. Algebra Universalis 73, 335–346 (2015)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Colorado, Boulder, CO, 80309-0395, USA

    Keith A. Kearnes & Ágnes Szendrei

  2. Pure Mathematics Department, University of Waterloo, Waterloo, ON, N2H3V5, Canada

    Ross Willard

Authors
  1. Keith A. Kearnes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ágnes Szendrei
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ross Willard
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ross Willard.

Additional information

Presented by R. Freese.

This material is based upon work supported by the National Science Foundation grant no. DMS 1500254 and the Hungarian National Foundation for Scientific Research (OTKA) grant no. K104251 and K115518. The third author acknowledges the support of the Natural Sciences and Engineering Research Council (NSERC) of Canada.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kearnes, K.A., Szendrei, Á. & Willard, R. Simpler Maltsev conditions for (weak) difference terms in locally finite varieties. Algebra Univers. 78, 555–561 (2017). https://doi.org/10.1007/s00012-017-0475-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00012-017-0475-7

2010 Mathematics Subject Classification

Key words and phrases

Search

Navigation