Recognitions:
Homework Help
$$1=G_0 < G_1 < .... G_n = G$$ and each quotient $$G_i/G_{i-1}$$ is abelian. It is certainly not necessary that the quotients are "essentially unique"