I conjecture that: Every Finite Homomorphic image of an infinite (with arbitrary cardinality) product of finite solvable groups is solvable -- or at least Not a simple (non-abelian) group. I can see it is true in some cases. Question: Has this problem been investigated ? Thank you.