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.