The lower central series of a group is the descending sequence of subgroups
where
denotes the subgroup generated by the commutators
with
and
. The group
is nilpotent precisely
when
is the trivial group for some
; the least such
is its nilpotency class.