5
$\begingroup$

I was trying to find the free metabelian group of rank 2, and I realized that the wreath product of Z and Z is metabelian and has only 2 generators in its minimal generating set. I could not find a way to extend this to another metabelian group without adding another generator. So my question is: Is the free metabelian group of rank 2 isomorphic to the wreath product of Z and Z?

$\endgroup$
5
  • 1
    $\begingroup$ No, it is not. It is a proper quotient. $\endgroup$ Oct 3, 2013 at 12:40
  • $\begingroup$ Ok, so how do we describe the free metabelian group? $\endgroup$
    – Thomas
    Oct 3, 2013 at 12:43
  • $\begingroup$ Maybe a good way to find the structure of the group is to find the freest groups with two generators that are metabelian and also have exponent n. If I work it out for enough n, it may give some insight into the free metabelian group. $\endgroup$
    – Thomas
    Oct 3, 2013 at 13:04
  • $\begingroup$ If a finitely generated solvable group has finite exponent then it is finite. $\endgroup$ Oct 3, 2013 at 15:50
  • $\begingroup$ Yes, but maybe the structure of the smaller groups may make the structure of the larger group a bit more clear. $\endgroup$
    – Thomas
    Oct 8, 2013 at 6:23

1 Answer 1

5
$\begingroup$

Let me turn my comment into an answer. Let $C$ be an infinite cyclic group generated by $t$ and $\mathbb ZC$ be the group ring. Then $\mathbb Z\wr\mathbb Z=\mathbb ZC\rtimes C$ where $C$ acts on its group ring via the regular representation. The abelianization is $\mathbb Z\times \mathbb Z$ via the map $(x,t^m)\mapsto (\epsilon(x),m)$ where $\epsilon$ is the augmentation map.

The commutator subgoup of $\mathbb Z\wr \mathbb Z$ is then the augmentation ideal $I$. As a module over the group ring of $\mathbb Z\times \mathbb Z$ we have that the first factor acts trivially and it is one-generated over the second factor (i.e., it is really a $\mathbb ZC$-module). On the other hand, if $M_2$ is the free metabelian group of rank $2$ generated by $x,y$, then it is well known that the commutator subgroup is freely generated as a module over the group ring of $\mathbb Z\times \mathbb Z$ by $[x,y]$. Thus $M_2\not\cong \mathbb Z\wr \mathbb Z$.

The word problem is very easy for $M_2$. It follows from a general result of Jorge Almeida on free objects in semidirect products of varieties and was rediscovered by Vershik many years later. Two words $w_1,w_2$ represent the same element of $M_2$ iff they represent the same element of $\mathbb Z\times \mathbb Z$ and the number of times the path labeled by $w_1$ in the Cayley graph of $\mathbb Z\times \mathbb Z$ starting at the origin traverses each edge $e$ is the same as the number of times as the path labeled by $w_2$ traverses $e$, where backward traversals are counted negatively.

Edit. Alternatively, let $E$ be the edge set of the Cayley graph of $\mathbb Z\times \mathbb Z$. Then $\mathbb Z^2$ acts on $E$ so we can form the semidirect product $\mathbb ZE\rtimes \mathbb Z^2$. The free metabelian group on $x,y$ is the subgroup generated by $(1\rightarrow x,x)$ and $(1\rightarrow y,y)$ where I view $x,y$ as generators of $\mathbb Z^2$.

$\endgroup$
5
  • $\begingroup$ So, can the free metabelian group (of rank 2 to start with) be represented by using wreath products and direct products, or does it take a more powerful notation? $\endgroup$
    – Thomas
    Oct 3, 2013 at 13:45
  • $\begingroup$ It embeds in the wreath product $\mathbb Z^2\wr \mathbb Z^2$ by the Magnus embedding. $\endgroup$ Oct 3, 2013 at 13:55
  • $\begingroup$ On the other hand $M_2$ does not embed into $\mathbb{Z}\wr\mathbb{Z}$, by a direct verification. $\endgroup$
    – YCor
    Oct 3, 2013 at 16:13
  • $\begingroup$ What about Z wr (Z^2)? $\endgroup$
    – Thomas
    Oct 4, 2013 at 4:26
  • $\begingroup$ $\mathbf{Z}^2\wr\mathbf{Z}^2$ embeds as a subgroup of index 2 in $\mathbf{Z}\wr\mathbf{Z}^2$. $\endgroup$
    – YCor
    Sep 8, 2017 at 9:12

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.