Skip to main content
Log in

Varieties with existentially definable factor congruences

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

We study the varieties with \(\vec {0}\) and \(\vec {1}\) where factor congruences are definable by existential formulas parameterized by central elements. This continues previous work on equational definability of factor congruences.

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

Access this article

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.: The fundamental theorem of central element theory. J. Symb. Log. 85(4), 1599–1606 (2020). https://doi.org/10.1017/jsl.2020.41

    Article  MathSciNet  MATH  Google Scholar 

  2. Badano, M., Vaggione, D.: Varieties with equationally definable factor congruences II. Algebra Universalis 78, 19–42 (2017)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  4. Badano, M., Vaggione, D.: Varieties with equationally definable factor congruences. Algebra Universalis 70, 327–345 (2013)

    Article  MathSciNet  Google Scholar 

  5. Mckenzie, R., McNulty, G., Taylor, W.: Algebras, Lattices, Varieties, vol. 1. Wadsworth & Brooks/Cole, California (1987)

    MATH  Google Scholar 

  6. Sanchez Terraf, P.: Existentially definable factor congruences. Acta Sci. Math. (Szeged) 76, 49–53 (2010)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  9. Vaggione, D.: Modular varieties with the Fraser–Horn property. Proc. Am. Math. Soc. 127, 701–708 (1998)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Miguel A. Campercholi.

Additional information

Communicated 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

Badano, M., Campercholi, M.A. & Vaggione, D.J. Varieties with existentially definable factor congruences. Algebra Univers. 83, 19 (2022). https://doi.org/10.1007/s00012-021-00720-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00012-021-00720-x

Keywords

Mathematics Subject Classification

Navigation