3
$\begingroup$

Let $G$ and $H$ be two finitely generated groups, and let $W = G \wr H$ be the wreath product of $G$ and $H$. Show that $W$ is finitely generated. In class today, we were showed this and told that it was obvious. However, I do not see how it is obvious. How is this obvious?

  • 1
    Take the generators of $G$ together with the generators of $H$. Much harder question is when this is finitely presented...2012-04-11
  • 0
    Hint: Think of $W=G\wr H\cong \bigoplus_{h\in H} G_h \rtimes H$ and take the genrators of $G$ on the left at the identity coordinate. For the righ take the generators of $H$.2012-04-11
  • 0
    Presumably $H$ is not just finitely generated, but actually finite? Otherwise I don't even know what $G \wr H$ is supposed to mean.2012-04-11
  • 0
    @Alex, yes H is finite.2012-04-11
  • 1
    @Alex: is your comment directed at the point that you can either take the direct product or the direct sum in the definition of the wreath product? Of course it must be the latter if you want to have any chance of being finitely generated and then the result is true.2012-04-11
  • 0
    Thank for the hints everyone. I still do not see how this is obvious.2012-04-12
  • 1
    Well, it is not exactly obvious but it is not hard. I suggest you work through the simplest example: [the Lamplighter Group](http://en.wikipedia.org/wiki/Lamplighter_group) $L = \mathbb{Z}/2\mathbb{Z} \wr \mathbb{Z}$. If you manage to prove that the generators of $\mathbb{Z}/2\mathbb{Z}$ and $\mathbb{Z}$ generate $L$ then the general case should be rather easy to do.2012-04-13
  • 1
    @Bernard: You should specify if you are talking about the "restricted wreath product" (the base group is the restricted direct product of $|H|$ copies of $G$, i.e., the subgroup of $\prod_{h\in H}G$ with almost all entries trivial), or the "unrestricted wreath product" (the base group is the direct product of $|H|$ copies of $G$).2012-04-13
  • 1
    @Arturo: Well, in the comments Bernard says that $H$ is finite, in which case it doesn't matter. But I don't know why he says that, when it isn't in the question and, provided he means the restricted wreath product, it isn't necessary.2012-04-13

1 Answers 1