Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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?

share|improve this question
    
Take the generators of $G$ together with the generators of $H$. Much harder question is when this is finitely presented... –  user641 Apr 11 '12 at 0:17
    
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$. –  Mustafa Gokhan Benli Apr 11 '12 at 0:21
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. –  t.b. Apr 11 '12 at 3:04
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$). –  Arturo Magidin Apr 13 '12 at 2:56
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. –  Tara B Apr 13 '12 at 8:02

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.