Two-step nilpotent group

A group $G$ is two-step nilpotent whenEquivalently, its commutator subgroup is contained in the center of a group of $G$. This allows every word to be collected into powers of generators followed by powers of their pairwise commutators.