Hi, all
denotes a center in central series and [G, G] denotes a commutator subgroup of G.
My textbook says .
Since is a normal subgroup of and is abelian, it is plausible that contains .
What bothering me is that why is a proper subgroup of rather than being just a subgroup?
I will appreciate if someone gives me an intuitive enlightment of the above one.