10
$\begingroup$

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:

  1. 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).
  2. 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.
  3. A finitely-generated group from this class is necessarily finite (Nikolov and Segal, see arXiv:1108.5130, Theorem 32).
Improve this question
$\endgroup$
8
  • $\begingroup$ @Pasha: Group having the same first order theory as a finite group $G$ is isomorphic to $G$ (because size $n$ is a first order sentence). You probably meant "having the same first order theory as a set of finite groups". $\endgroup$
    – user6976
    Commented Apr 3, 2012 at 7:31
  • $\begingroup$ Also you probably meant "Cartesian product". $\endgroup$
    – user6976
    Commented Apr 3, 2012 at 7:33
  • $\begingroup$ @Mark: "same first order theory": thanks, of course, corrected it. "Cartesian product": it seems that I am confused about the terminology. Aren't "Cartesian product" and "direct product" the same, as opposed to "direct sum"? $\endgroup$
    – Pasha Zusmanovich
    Commented Apr 3, 2012 at 7:44
  • $\begingroup$ @Pasha: If you consider non-Abelian groups, there is no "direct sum". Direct product consists of functions with finite supports, Cartesian product consists of all functions. $\endgroup$
    – user6976
    Commented Apr 3, 2012 at 11:58
  • 1
    $\begingroup$ @Mark: try to google "infinite direct product", it seems the common use doesn't match your convention. Also "the cartesian product of the two groups" often means the cartesian product as a set, and without any law (e.g., the underlying set of a semidirect product). $\endgroup$
    – YCor
    Commented Apr 5, 2012 at 21:37

1 Answer 1

Reset to default
4
$\begingroup$

@Pasha, you might like to look at http://arxiv.org/pdf/1108.5130.pdf if my memory serves me right, you might find some answers to your questions.

Improve this answer
$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .