Abstract
A congruence relation θ on an algebra A is fully invariant if every endomorphism of A preserves θ. A congruence θ is verbal if there exists a variety \({\mathcal{V}}\) such that θ is the least congruence of A such that \({{\bf A}/\theta \in \mathcal{V}}\) . Every verbal congruence relation is known to be fully invariant. This paper investigates fully invariant congruence relations that are verbal, algebras whose fully invariant congruences are verbal, and varieties for which every fully invariant congruence in every algebra in the variety is verbal.
Similar content being viewed by others
References
Bergman, C.: Universal Algebra. Chapman and Hall/CRC, Boca Raton (2012)
Bergman C., McKenzie R.: Minimal varieties and quasivarieties. J. Austral. Math. Soc. Ser. A 48, 133–147 (1990)
Berman J.: Interval lattices and the amalgamation property. Algebra Universalis 12, 360–375 (1981)
Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist. Cambridge Studies in Advanced Mathematics, vol. 57. Cambridge University Press, Cambridge (1998)
Davey, B.A., Werner, H.: Dualities and equivalences for varieties of algebras. In: Contributions to Lattice Theory, Colloq. Math. Soc. János Bolyai, vol. 33, pp. 101–275. North-Holland, Amsterdam (1983)
Freese, R., Ježek, J., Nation, J.B.: Free Lattices. AMS Surveys and Monographs, vol. 42. Amer. Math. Soc., Providence (1995)
Freese, R., McKenzie, R.: Commutator Theory for Congruence Modular Varieties. London Mathematical Society Lecture Notes, no. 125. Cambridge University Press, Cambridge (1987)
Jónsson B.: Equational classes of lattices. Math. Scand. 22, 187–196 (1968)
Kearnes K., Szendrei Á.: A characterization of minimal locally finite varieties. Trans. Amer. Math. Soc. 349, 1749–1768 (1997)
Keimel, K., Werner, H.: Stone duality for varieties generated by quasiprimal algebras. Mem. Amer. Math. Soc. 148, 59–85 (1974)
Kiss, E.: On the Loewy rank of infinite algebras. Algebra Universalis 29, 437–440 (1992)
Kovács, L., Newman, M.: Minimal verbal subgroups. Proc. Cambridge Philos. Soc. 62, 347–350 (1966)
Kovács, L., Newman, M.: On critical groups. J. Austral. Math. Soc. 6, 237–250 (1966)
McKenzie, R.: Equational bases and nonmodular lattice varieties. Trans. Amer. Math. Soc. 174, 1–43 (1972)
McKenzie, R., McNulty, G., Taylor, W.: Algebras, Lattices, Varieties, vol. I. Wadsworth and Brooks/Cole, Belmont (1987)
Monk, D.: On pseudo-simple universal algebras. Proc. Amer. Math. Soc. 13, 543–546 (1962)
Post, E.: Two-valued Iterative Systems of Mathematical Logic. Princeton University Press, Princeton (1941)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by K. Kearnes.
Rights and permissions
About this article
Cite this article
Bergman, C., Berman, J. Fully invariant and verbal congruence relations. Algebra Univers. 70, 71–94 (2013). https://doi.org/10.1007/s00012-013-0238-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-013-0238-z