The famous Birkhoff subdirectly irreducible representation theorem of algebras says that every algebra is isomorphic to a subdirect product of subdirectly irreducible algebras (which are its homomorphic images); [1]}.
