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?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
$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$). 

