Let (or even just ).
Is it true that if then either , , or where and ?
I know the equivalent isn't true for homomorphic images, but I'm not sure about semidirect products...
I don't think so.
Let , and let . Certainly this subgroup is not contained in either factor of the direct product, and in this group, there isn't really much room left for it to be equal to the direct product of anything else.