MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hello? I have a simple question about combinatorial group theory.

For a group $G$, I saw $[G_k, G_m] \subset G_{k+m}$ and these two subgroups need not be equal. Then is there any known condition that they can be equal? How about the case that $G$ is (f.g.) free?

Actually, my first question was that: for a f.g. free group $F$, $F_m \subset [F_k,F_k]$ for some big $m$?

share|cite|improve this question
Can you say what $G_k$ etc. means? – Steve D Oct 26 '11 at 10:21
Presumably the lower central series – Derek Holt Oct 26 '11 at 11:50
As $D_\infty$ is metabelian but not nilpotent, it follows that $F_m$ is not contained in $[F_k,F_k]$ for any $k$. – HJRW Oct 26 '11 at 11:51
Sorry for you to confuse. Derek Holt is right. And what is $D_\infty$? – qkqh Oct 26 '11 at 13:19
@qkqh: I suppose $D_{\infty}$ is the infinite dihedral group $\mathbb{Z}\rtimes\mathbb{Z}/2$. – Qfwfq Oct 26 '11 at 13:34
up vote 8 down vote accepted

Presumably $G=G_1 \ge G_2 \ge G_3 \ge \cdots$ is the lower central series of $G$?

So, for a free group $F$ of rank $r$, $F_2$ = $[F,F]$, and $F/[F_2,F_2]$ is the free $r$-generator metabelian group.

$F_m < [F_2,F_2]$ would imply that $F/[F_2,F_2]$ is nilpotent of class at most $m$, but since there are 2-generator metabelian groups that are not nilpotent, this is not possible for $r \ge 2$.

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.