Two-step nilpotent group (source code)

= Two-step nilpotent group

A group $G$ is two-step nilpotent when
$$
[[G,G],G]=\{1\}.
$$
Equivalently, 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.