Abstract
A finite algebra is called automorphism-primal if its clone of term operations coincides with all operations that preserve its automorphisms. We prove that the variety generated by an automorphism-primal algebra is verbose, that is, on every member algebra, every fully invariant congruence is verbal. The proof is a nice application of the theory of natural dualities as developed by Davey et al.
Similar content being viewed by others
References
Bergman, C.: Universal Algebra. Fundamentals and Selected Topics, Pure and Applied Mathematics (Boca Raton), vol. 301. CRC Press, Boca Raton, FL (2012)
Bergman C., Berman J.: Fully invariant and verbal congruence relations. Algebra Universalis 70, 71–94 (2013)
Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist, Cambridge Studies in Advanced Mathematics, vol. 57. Cambridge University Press, Cambridge (1998)
Werner, H.: Discriminator Algebras. Studium zur Algebra und ihre Andwendungen 6. Akademie Verlag, Berlin (1978)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by R. Quackenbush.
For Brian Davey on the occasion of his 65th birthday.
Research partially supported by the Barbara J. Janson professorship.
Rights and permissions
About this article
Cite this article
Bergman, C. Automorphism-primal algebras generate verbose varieties. Algebra Univers. 74, 117–122 (2015). https://doi.org/10.1007/s00012-015-0337-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-015-0337-0