Homomorphic images of finite subdirectly irreducible unary algebras

summary:We prove that a finite unary algebra with at least two operation symbols is a homomorphic image of a (finite) subdirectly irreducible algebra if and only if the intersection of all its subalgebras which have at least two elements is nonempty

Automated Proof Compression by Invention of New Definitions

Contains fulltext : 83345.pdf (publisher's version ) (Closed access