Skip to main content
Article
Automorphism-primal algebras generate verbose varieties
Algebra universalis
  • Clifford Bergman, Iowa State University
Document Type
Article
Disciplines
Publication Version
Accepted Manuscript
Publication Date
9-1-2015
DOI
10.1007/s00012-015-0337-0
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.

Comments

This is a post-peer-review, pre-copyedit version of an article published in Algebra universalis. The final authenticated version is available online at DOI: 10.1007/s00012-015-0337-0. Posted with permission.

Copyright Owner
Springer Basel
Language
en
File Format
application/pdf
Citation Information
Clifford Bergman. "Automorphism-primal algebras generate verbose varieties" Algebra universalis Vol. 74 Iss. 1-2 (2015) p. 117 - 122
Available at: http://works.bepress.com/clifford_bergman/8/