1
$\begingroup$

Is there any infinite metabelian group or it is naturally defined to be finite? In fact, I am investigating for finding another solvable group around (apart of $\mathbb{Z}_{p^{\infty}}$ or additive group $\mathbb{Z}$).

  • 1
    how about $\langle r,s : s^2=1, rsrs=1\rangle$, the infinite dihedral group2011-03-22
  • 0
    or other semidirect products2011-03-22
  • 0
    Yes Yoyo. Thanks for the fast answer. Do you know any way that could be useful in knowing infinite solvable group?2011-03-22
  • 0
    Wikipedia says "a metabelian group is a group whose commutator subgroup is abelian". No restriction to finite groups. It also gives an example of an infinite metabelian group, the group of affine maps. See http://en.wikipedia.org/wiki/Metabelian_group2011-03-22
  • 3
    never metabelian group I didn't like2011-03-22

1 Answers 1

7

A group $G$ is metabelian if and only if $[G,G]$ is abelian. In particular, every abelian group is metabelian.

Less trivially so: a group $G$ is metabelian if and only if there exists an abelian normal subgroup $N\triangleleft G$ such that $G/N$ is abelian. In particular, any extension of an abelian group by an abelian group is abelian. In particular, any metacyclic group (extension of a cyclic group by a cyclic group) is metabelian.

An example of an infinite metacyclic group is given by the holomorph of $\mathbb{Z}$, $\mathbb{Z}\rtimes\mathrm{Aut}(\mathbb{Z})$, also known as the infinite dihedral group $D_{\infty}$: $$D_{\infty} = \bigl\langle a,b\,\bigm| ba = a^{-1}b,\quad b^2=1\bigr\rangle.$$

Another "big" example: if $F$ is the free group on two generators, and $[F,F]$ is the commutator subgroup of $F$, then $[F,F]$ is free of infinite rank. So $[F,F]/[[F,F],[F,F]]$ is free abelian of infinite rank. Hence $$F_2^{\mathfrak{A}^2} = \frac{F}{\bigl[ [F,F],[F,F]\bigr]}$$ is a metabelian group (the commutator subgroup is $[F,F]/[[F,F],[F,F]]$), and infinite (the commutator subgroup is infinite).

In fact, $F_2^{\mathfrak{A}^2}$ is the relatively free metabelian group of rank $2$.

You can repeat the operation with any free group of rank $r\gt 1$ to get the relatively free metabelian groups of finite rank. Any finitely generated metabelian group is a quotient of one of these.

  • 0
    Thanks Arturo for convincing and complete answer.2011-03-22
  • 0
    @Babak: Hardly "complete"! I just have a couple of examples...2011-03-22