Automorphism-primal algebras generate verbose varieties

被引:0
|
作者
Bergman, Clifford [1 ]
机构
[1] Iowa State Univ, Dept Math, Ames, IA 50011 USA
关键词
verbal congruence; fully invariant congruence; verbose; automorphism-primal; natural duality;
D O I
10.1007/s00012-015-0337-0
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
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.
引用
收藏
页码:117 / 122
页数:6
相关论文
共 50 条