Abstract
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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
