Automorphism-primal algebras generate verbose varieties

Thumbnail Image
File
2015_Bergman_AutomorphismPrimal.pdf (246.28 KB)
Date
2015-09-01
Authors
Major Professor
Advisor
Committee Member
Journal Title
Journal ISSN
Volume Title
Publisher
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.
Series Number
Journal Issue
Is Version Of
Versions
Series
Academic or Administrative Unit
Type
article
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.
Rights Statement
Copyright
Thu Jan 01 00:00:00 UTC 2015
Funding
Subject Categories
Algebra
Keywords
verbal congruence, fully invariant congruence, verbose, automorphism-primal, natural duality
DOI
Permanent Link
https://dr.lib.iastate.edu/handle/20.500.12876/54544
Supplemental Resources
Source
http://doi.org/10.1007/s00012-015-0337-0
Collections
Publications