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.
Similar content being viewed by others
References
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
Badano, M., Vaggione, D.: Varieties with equationally definable factor congruences II. Algebra Universalis 78, 19–42 (2017)
Badano, M., Vaggione, D.: Equational definability of (complementary) central elements. Int. J. Algebra Comput. 26, 509–532 (2016)
Badano, M., Vaggione, D.: Varieties with equationally definable factor congruences. Algebra Universalis 70, 327–345 (2013)
Mckenzie, R., McNulty, G., Taylor, W.: Algebras, Lattices, Varieties, vol. 1. Wadsworth & Brooks/Cole, California (1987)
Sanchez Terraf, P.: Existentially definable factor congruences. Acta Sci. Math. (Szeged) 76, 49–53 (2010)
Sanchez Terraf, P., Vaggione, D.: Varieties with definable factor congruences. Trans. Am. Math. Soc. 361, 5061–5088 (2009)
Vaggione, D.: Central elements in varieties with the Fraser–Horn property. Adv. Math. 148, 193–202 (1999)
Vaggione, D.: Modular varieties with the Fraser–Horn property. Proc. Am. Math. Soc. 127, 701–708 (1998)
Author information
Authors and Affiliations
Corresponding author
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
About this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-021-00720-x