Homomorphic images of finite subdirectly irreducible unary algebras
Jaroslav Ježek, P. Marković, David Stanovský (2007)
Czechoslovak Mathematical Journal
Similarity:
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.