Weakly diagonal algebras and definable principal congruences

摘要

An algebra is called weakly diagonal if every subuniverse of its square contains the graph of an automorphism. We show that every variety generated by a finite algebra with no proper subalgebras has a weakly diagonal generator. The result is applied in several ways and, in particular, to show that every arithmetical affine complete variety of finite type has equationally definable principal congruences.