Skip to main content
SpringerLink
Log in

Coextensive varieties via central elements

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

In this paper we use the theory of central elements in order to provide a characterization for coextensive varieties. In particular, if a variety is of finite type, congruence-permutable and its class of directly indecomposable members is universal, then the variety is coextensive if and only if it is a variety of shells.

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.

Similar content being viewed by others

References

  1. Badano, M., Vaggione, D.: Equational definability of (complementary) central elements. Int. J. Algebra Comput. 26, 509–532 (2016)

    Article  MathSciNet  Google Scholar 

  2. Broodryk, D.N.: Characterization of left coextensive varieties of universal algebras. Theory Appl. Categ. 34(32), 1036–1038 (2019)

    MathSciNet  MATH  Google Scholar 

  3. Broodryk, D.N.: Characterization of coextensive varieties of universal algebras (2020). arXiv:2008.03474 [math.CT]

  4. Broodryk, D.N.: Characterization of coextensive varieties of universal algebras II (2021). arXiv:2104.12188 [math.CT]

  5. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Graduate Texts Math, vol. 78 (1981)

  6. Campercholi, M., Vaggione, D.: Implicit definition of the quaternary discriminator. Algebra Univers. 68(1), 1–16 (2012)

    Article  MathSciNet  Google Scholar 

  7. Carboni, A., Lack, S., Walters, R.F.C.: Introduction to extensive and distributive categories. J. Pure Appl. Algebra 84(2), 145–158 (1993)

    Article  MathSciNet  Google Scholar 

  8. Carboni, A., Pedicchio, M.C., Rosický, J.: Syntactic characterizations of various classes of locally presentable categories. J. Pure Appl. Algebra 161(1–2), 65–90 (2001)

    Article  MathSciNet  Google Scholar 

  9. Castiglioni, J.L., Menni, M., Zuluaga Botero, W.J.: A representation theorem for integral rigs and its applications to residuated lattices. J. Pure Appl. Algebra 220, 3533–3566 (2016)

    Article  MathSciNet  Google Scholar 

  10. Chang, C.C.: Algebraic analysis of many-valued logics. Trans. Am. Math. Soc. 88, 467–490 (1958)

    Article  MathSciNet  Google Scholar 

  11. Chang, C.C., Jónsson, B., Tarski, A.: Refinement properties for relational structures. Fund. Math. 54, 249–281 (1964)

    Article  MathSciNet  Google Scholar 

  12. Comer, S.: Representations by algebras of sections over Boolean spaces. Pac. J. Math. 38(1), 29–38 (1971)

    Article  MathSciNet  Google Scholar 

  13. Fraser, G.A., Horn, A.: Congruence relations in direct products. Proc. Am. Math. 26, 390–394 (1970)

    Article  MathSciNet  Google Scholar 

  14. Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Logics Without Contraction. Elsevier, Amsterdam (2007)

    MATH  Google Scholar 

  15. Hájek, P.: Metamathematics of Fuzzy Logic, vol. 4. Springer Science & Business Media, Berlin (2013)

    MATH  Google Scholar 

  16. Hoefnagel, M.: \(\cal{M}\)-coextensive objects and the strict refinement property. J. Pure Appl. Algebra 224, 106381 (2020)

    Article  MathSciNet  Google Scholar 

  17. Knoebel, A.: Sheaves of Algebras Over Boolean Spaces. Birkhäuser, Boston (2012)

    Book  Google Scholar 

  18. Lawvere, F.W.: Some thoughts on the future of category theory. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds.) Category Theory. Lecture Notes in Mathematics, vol. 1488. Springer, Berlin. https://doi.org/10.1007/BFb0084208

  19. Manzonetto, G., Salibra, A.: Applying universal algebra to lambda calculus. J. Log. Comput. 20, 877–915 (2010)

    Article  MathSciNet  Google Scholar 

  20. Manzonetto, G., Salibra, A: From \(\lambda \)-calculus to universal algebra and back. In: Ochmański, E., Tyszkiewicz, J. (eds.) Mathematical Foundations of Computer Science 2008. MFCS 2008. Lecture Notes in Computer Science, vol. 5162. Springer, Berlin. https://doi.org/10.1007/978-3-540-85238-4_39

  21. Rosenberg, I.: About functional completeness in multi-valued logics. Rozpr. CSAV Rada Mat. Pfir. Ved 80, 3–93 (1970). (German)

    Google Scholar 

  22. Salibra, A., Ledda, A., Paoli, F., et al.: Boolean-like algebras. Algebra Univers. 69, 113–138 (2013)

    Article  MathSciNet  Google Scholar 

  23. Sanchez, Terraf P., Vaggione, D.: Varieties with definable factor congruences. Trans. Am. Math. Soc. 361, 5061–5088 (2009)

    Article  MathSciNet  Google Scholar 

  24. Schanuel, S.H.: Negative sets have Euler characteristic and dimension. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds.) Category Theory. Lecture Notes in Mathematics, vol. 1488. Springer, Berlin. https://doi.org/10.1007/BFb0084232

  25. Vaggione, D.: Varieties in which the Pierce stalks are directly indecomposable. J. Algebra 184, 424–434 (1996)

    Article  MathSciNet  Google Scholar 

  26. Vaggione, D.: Varieties of shells. Algebra Univers. 36, 483–487 (1996)

    Article  MathSciNet  Google Scholar 

  27. Vaggione, D.: \(\cal{V}\) with factorable congruences and \(\cal{V}=I\Gamma ^{a}(\cal{V}_{DI})\) imply \(\cal{V}\) is a discriminator variety. Acta Sci. Math. 62, 359–368 (1996)

    MathSciNet  Google Scholar 

  28. Vaggione, D.: Central elements in varieties with the Fraser–Horn property. Adv. Math. 148(2), 193–202 (1999)

    Article  MathSciNet  Google Scholar 

  29. Vaggione, D.: Characterization of discriminator varieties. Proc. Am. Math. Soc. 129(3), 663–666 (2001)

    Article  MathSciNet  Google Scholar 

  30. Vaggione, D., Zuluaga Botero, W.J.: Pierce stalks in preprimal varieties. J. Mult. Valued Logic Soft Comput. 36(4/5), 437–453 (2021)

    Google Scholar 

  31. Zuluaga Botero, W.J.: Representation by sheaves of riRigs. PhD Thesis, Universidad Nacional de La Plata (2016) (Spanish). https://doi.org/10.35537/10915/54115

Download references

Acknowledgements

The author is deeply grateful for the labor of the referee whose accurate comments and suggestions have improved the presentation of this manuscript. This project has been funded by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement No. 670624) and by the CONICET [PIP 112-201501-00412].

Author information

Authors and Affiliations

  1. Laboratoire J.A. Dieudonné, CNRS, Université Côte d’Azur, 0618 Cedex 02, Nice, France

    W. J. Zuluaga Botero

  2. Departamento de Matemática, Universidad Nacional del Centro de la Provincia de Buenos Aires, 7000, Tandil, Argentina

    W. J. Zuluaga Botero

Authors
  1. W. J. Zuluaga Botero
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to W. J. Zuluaga Botero.

Additional information

Presented by K. A. Kearnes.

Publisher's Note

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

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zuluaga Botero, W.J. Coextensive varieties via central elements. Algebra Univers. 82, 50 (2021). https://doi.org/10.1007/s00012-021-00745-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00012-021-00745-2

Keywords

Mathematics Subject Classification

Search

Navigation