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.