Can a group have a cyclical derived series?

285 Views Asked by At

Given any group $G$, one can consider its derived series

$$G = G^{(0)}\rhd G^{(1)}\rhd G^{(2)}\rhd\dots$$

where $G^{(k)}$ is the commutator subgroup of $G^{(k-1)}$. A group is perfect if $G=G^{(1)}$ and thus has constant derived series, and solvable if its derived series reaches the trivial group after finitely many steps.

Is it possible for a group’s derived series to be cyclical, i.e. that $G \cong G^{(n)}$ for some $n>1$ and $G\not\cong G^{(k)}$ for all positive $k<n$?

Note that such a group could not be finite, solvable, nor co-Hopfian.

1

There are 1 best solutions below

0
On BEST ANSWER

This question was asked on Math Overflow, and was subsequently answered in the affirmative.

(This CW answer is just to lift the question out of the "unanswered" queue.)