Skip to main content
SpringerLink
Log in

Loop conditions

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

We prove that a weakest non-trivial strong Maltsev condition given by a single identity of the form \(t(\text {variables}) = t(\text {variables})\) is the existence of a term s satisfying \(s(x,y,y,z,z,x)=s(y,x,z,y,x,z)\).

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

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

References

  1. Barto, L., Kozik, M.: Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem. Log. Methods Comput. Sci. 8(1:07), 27 (2012)

  2. Barto, L., Kozik, M.: Absorption in universal algebra and CSP. In:The constraint satisfaction problem: complexity and approximability, Dagstuhl Follow-Ups, vol. 7, pp. 45–77. Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern (2017)

  3. Barto, L., Krokhin, A., Willard, R.: Polymorphisms, and how to usethem. In: The Constraint Satisfaction Problem: Complexity and Approximability, Dagstuhl Follow-Ups, vol. 7, pp. 1–44. SchlossDagstuhl. Leibniz-Zent. Inform., Wadern (2017)

  4. Bergman, C.: Universal Algebra: Fundamentals and Selected Topics, Pure and Applied Mathematics, vol. 301. CRC Press, Boca Raton, FL (2012)

    MATH  Google Scholar 

  5. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra, Graduate Texts in Mathematics, vol. 78. Springer, New York, Berlin (1981)

    MATH  Google Scholar 

  6. Kazda, A.: Taylor term does not imply any nontrivial linear one-equality Maltsev condition. Algebra Univers. 80, 9 (2019). https://doi.org/10.1007/s00012-019-0580-x

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

    Article  MathSciNet  Google Scholar 

  8. McKenzie, R., Świerczkowski, S.: Non-covering in the interpretability lattice of equational theories. Algebra Univ. 30(2), 157–170 (1993)

    Article  Google Scholar 

  9. McKenzie, R.N., McNulty, G.F., Taylor, W.F.: Algebras, lattices, varieties. Vol. I. The Wadsworth & Brooks/Cole Mathematics Series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA (1987)

  10. Olšák, M.: The weakest nontrivial idempotent equations. Bull. Lond. Math. Soc. 49(6), 1028–1047 (2017)

    Article  MathSciNet  Google Scholar 

  11. Siggers, M.H.: A strong Mal’cev condition for locally finite varieties omitting the unary type. Algebra Univ. 64(1–2), 15–20 (2010)

    Article  MathSciNet  Google Scholar 

  12. Taylor, W.: Some very weak identities. Algebra Univ. 25(1), 27–35 (1988)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Physics, Charles University in Prague, Sokolovská 83, Prague 8, Czechia

    Miroslav Olšák

Authors
  1. Miroslav Olšák
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Miroslav Olšák.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This research was supported by the Czech Science Foundation (GAČR), grant 13-01832S and by the PRIMUS/SCI/12 project of the Charles University.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Olšák, M. Loop conditions. Algebra Univers. 81, 2 (2020). https://doi.org/10.1007/s00012-019-0631-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00012-019-0631-3

Keywords

Mathematics Subject Classification

Search

Navigation