Limited access

Upgrade to access all content for this subject

Let $G$ be a finite group. Recall that the commutator subgroup $[G,G]=G'=G^{(1)}$ of $G$ is the subgroup generated by the commutators $[g,h]$, $g,h\in G$.

Let $G^{(2)}=[G^{(1)},G^{(1)}]$ be the commutator subgroup of the commutator subgroup, and so on with $G^{(n+1)}=[G^{(n)},G^{(n)}]$ being the commutator subgroup of $G^{(n)}$, $n=1,2,\ldots$.

The chain:

$$G\geq G^{(1)}\geq G^{(2)}\geq\ldots \geq G^{(n)}\geq G^{(n+1)}\ge\ldots$$ called the derived series of $G$. It is also sometimes called the commutator series of $G$.

The derived series is said to terminate in the neutral element $e$ of $G$ if $G^{(n)}=\{e\}$ for some finite integer $n\ge1$.

The smallest such $n$, if it exists, is called the derived length of $G$ if $G\not=\{e\}$. The derived length of $\{e\}$ is defined to be zero.

Which of the following is true? The groups $G$ are all assumed to be finite.​


There is a group $G$ whose derived series terminates in $e$ and such that $G^{(i)}$ is not normal in $G$ for some integer $i\ge 1$.


There is a group $G$ whose derived series terminates in $e$, but whose composition series has non-abelian composition factors.


If the derived series of $G$ terminates in $e$ then its derived length is always equal to the length of any of its composition series.


If the derived series of a group $G$ terminates in $e$, then its composition factors are cyclic of prime order.


None of the above statements is true.

Select an assignment template