If $G$ is a group, for subsets $A$ and $B$ let $[A,B]$ be the subgroup generated by commutators of $A$ and $B$, i.e.,
\[ [A,B] = \langle a^{-1}b^{-1}ab\mid a\in A \text{ and } b\in B\rangle.\]
Further, let $G^0=G$ and for $i>0$, $G^i = [G,G^{i-1}]$. Then, the **lower central series** of $G$ is a normal series of subgroups
\[ G \unrhd G^1 \unrhd G^2 \unrhd \cdots .\]
Then, $G$ is nilpotent if and only if $G^k =\langle e\rangle$ for some $k>0$.

**Authors:**

**Knowl status:**

- Review status: beta
- Last edited by John Jones on 2019-06-12 14:38:52

**Referred to by:**

Not referenced anywhere at the moment.

**History:**(expand/hide all)