# When is $G$ isomorphic to $G \times G$?

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'$)
-
apart from the trivial group, I guess. –  wood Oct 27 '10 at 14:50
$G$ must also not be residually finite (as a finitely generated residually finite group is Hopfian, i.e. has no isomorphic proper quotients). –  Jonathan Kiehlmann Nov 1 '10 at 17:59

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

-
Thanks! I used google, but didn't know to feed it properly ;). –  Martin Brandenburg Oct 27 '10 at 15:43
has anyone else the problem, that the link to the pdf doesn't work? –  HenrikRüping Oct 27 '10 at 15:44
@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. –  Qiaochu Yuan Oct 27 '10 at 16:20
It's available for free: journals.cambridge.org/action/… –  Steve D Oct 27 '10 at 20:10