Subdirect irreducible