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 this conjecture in some cases. but the general case seems very complicated.

Question: Has this problem been investigated ? Thank you.