What can be said about the class of groups which can be represented as a homomorphic image of an (infinite) Cartesian product (=unrestricted direct product) of finite groups? What would be simple groups in this class? Which "classical" groups, like various matrix groups, belong to this class?

The question can be (trivially) reformulated as a description of the smallest class of groups containing all finite groups and closed under taking Cartesian products and homomorphic images.

Remarks:

- This class includes ultraproducts of finite groups, or, what is the same, groups having the same first-order theory as a set of finite groups (called pseudo-finite in the literature).
- A countable Cartesian product of finite groups is a profinite group. I don't know how beneficial it would be to consider the question in the profinite context.
- A finitely-generated group from this class is necessarily finite (Nikolov and Segal, see arXiv:1108.5130, Theorem 32).