MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Let $G$ be a free group. Then $G/G^{(n)}$ ($G^{(n)}$ is the $n$th derived subgroup.) acts on $G^{(n)}/G^{(n+1)}$ by conjugation, which makes $G^{(n)}/G^{(n+1)}$ a $\mathbb{Z}[G/G^{(n)}]$-module. What can I say about this module? Namely, I wonder whether $G^{(n)}/G^{(n+1)}$ is a free $\mathbb{Z}[G/G^{(n)}]$-module. If I want to study about this subject, what would be a good reference?

share|cite|improve this question
up vote 2 down vote accepted

$G/G^{(n)}$ is the free solvable group of class $n$. The module mentioned in your question is projective (a submodule of a free module of rank = rank of $G$).
You can read about free solvable groups in Hanna Neumann's "Varieties of groups", and in Karras-Magnus-Solitar "Combinatorial group theory". Among newer papers, see for example Romanovskiĭ, N. S. Coproducts of rigid groups. Algebra Logika 49 (2010), no. 6, 803--818, 845--846, 848; translation in Algebra Logic 49 (2011), no. 6, 539–550 and references there. See also Lichtman, A. I. Automorphism groups of free soluble groups. J. Algebra 174 (1995), no. 1, 132–149. See also this paper, especially p. 8 where they define Magnus embeddings and Fox derivatives.

share|cite|improve this answer
You mean that it is $\mathbb{Z}[G\G^{(n)}]$-module? I have MKS's book but I don't know where to look at. – hjjang Feb 24 '12 at 5:02
$\mathbb{Z}[G/G^{(n)}$-module. In MKS see Chapter 5. But the more recent papers I mentioned may help more. – Mark Sapir Feb 24 '12 at 5:15

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.