Automorphism-primal algebras generate verbose varieties. (Q494624)

A finite algebra is automorphism-primal if its clone of term functions coincides with the clone of all operations that preserve its automorphisms. It was proved by H. Werner that a finite algebra is automorphism-primal if and only if it is quasiprimal, every subuniverse is the set of fixed points of a group of automorphisms, and every isomorphism between nontrivial subalgebras can be extended to an automorphism of the whole algebra. As an example, every finite field is automorphism-primal. It is proved that the variety generated by an automorphism-primal algebra is verbose, i.e. that every fully invariant congruence on each of its members is verbal. The proof use natural dualities as developed by B. Davey.