17
$\begingroup$

Is there a finitely generated nontrivial group $G$ such that $G \cong G \times G$?

Here are some properties which such a group $G$ has to satisfy:

  • $G$ is not abelian (otherwise $G$ is a noetherian $\mathbb{Z}$-module, and the composition of the first projection $G \times G \to G$ with an isomorphism $G \cong G \times G$ will be bijective, i.e. $G$ is trivial).
  • $G$ is perfect (apply the first observation to $G/G'$)
$\endgroup$
2
  • 5
    $\begingroup$ apart from the trivial group, I guess. $\endgroup$
    – wood
    Oct 27, 2010 at 14:50
  • $\begingroup$ $G$ must also not be residually finite (as a finitely generated residually finite group is Hopfian, i.e. has no isomorphic proper quotients). $\endgroup$ Nov 1, 2010 at 17:59

2 Answers 2

21
$\begingroup$

Yes. Some Googling turns up J. M. Tyrer Jones, "Direct products and the Hopf property," J. Austral. Math. Soc. 17 (1974), 174-196.

$\endgroup$
4
  • $\begingroup$ Thanks! I used google, but didn't know to feed it properly ;). $\endgroup$ Oct 27, 2010 at 15:43
  • $\begingroup$ has anyone else the problem, that the link to the pdf doesn't work? $\endgroup$ Oct 27, 2010 at 15:44
  • $\begingroup$ @Henrik: hmm. The paper might not be freely available. I found it indirectly: it was referenced in a paper of Baumslag and Miller (rio.sci.ccny.cuny.edu/caissny.org/Publications/…) which I found on Google, and which may have a more general construction in it. $\endgroup$ Oct 27, 2010 at 16:20
  • $\begingroup$ It's available for free: journals.cambridge.org/action/… $\endgroup$
    – Steve D
    Oct 27, 2010 at 20:10
16
$\begingroup$

As a geometric group theorist, one would of course relax the question by allowing passage to finite index subgroup, i.e. one would ask for groups such that G and GxG have finite index subgroups, which are isomorphic. One then calls G an GxG commensurable, and for this weaker property there are a lot of interesting examples. My favourite one right now is the Grigorchuk group. But even commensurability to GxG is a very restrictive property: It implies, for instance, that if G is infinite, then it has infinite asymptotic dimension. I just stumbled over this result in the thesis of J. Smith. The proof is almost trivial: Since G is coarsely equivalent to GxG, it is coarsely equivalent to G^n for all n. Now Z embeds quasi-isometrically into G (since G is infinite), and hence Z^n embeds coarsely into G^n (hence G), so asdim G is at least asdim Z^n for all n, and we conclude. This is in particular the case if G and GxG are isomorphic. The upshot is, that for a group of finite asymptotic dimension one cannot have G=GxG, not even up to finite index.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.