Explicit description of lower central series of associated Lie ring of a group

From Groupprops

Statement

Suppose is a group and is its associated Lie ring. Recall that, as an additive group:

where are the members of the lower central series of , starting at , , and so on. Each of the quotients is an abelian group, hence can be inserted into the above summation. Note that the Lie ring structure is not as a direct sum.

Then, for any positive integer , the member of the lower central series of equals the part of the summation that starts from onward. Explicitly, it is the subgroup:

Note that the Lie ring structure is not as a direct sum, but rather, obtained by restricting the Lie ring structure from .

Further, we have that, for any nonnegative integer :