The descending sequence of subgroups defined by γ_1(G) = G and γ_{n+1}(G) = [G, γ_n(G)], where each term is the subgroup generated by commutators of the whole group with the previous term; it measures nilpotency by progressively forcing successive commutator layers to vanish.

Principle

By iteratively taking commutators with the whole group one enforces successive centrality conditions: if γ_c(G) = {1} for some c the group is nilpotent of class < c, so the series encodes the depth of noncentral interactions.

Demonstration

For the group of unitriangular n×n matrices over a field, the lower central series reaches the trivial subgroup after at most n−1 steps; for an abelian group γ_2(G) = {1} immediately. Calculating γ_2, γ_3 gives explicit measures of commutator depth.

Misapplication

Confusing lower central series with derived series and assuming they terminate the same way is incorrect. Misusing the lower central construction in categories without well-behaved group commutators (e.g., some nonassociative systems) yields meaningless results.

Consequence

When used correctly the lower central series yields the nilpotency class, controls graded Lie algebra associated constructions (by forming Gr(G) = ⊕ γ_n/γ_{n+1}), and informs deformation and homological invariants tied to central series.

Reversal

The inversion is to consider ascending constructions (upper central series) that build the group by successively adding central subgroups rather than peeling off commutator layers.

Boundary

Applies in groups and Lie-type settings where commutators with the whole structure form normal subgroups; it does not directly apply to arbitrary algebraic structures lacking a compatible notion of normal closure under commutators.

Semantic Tension

There is tension between the lower central series and derived series: both probe nonabelian structure but differ in focus—nilpotency versus solvability—and can give distinct stratifications and termination times.

Synthesis

The lower central series γ_1 ≥ γ_2 ≥ ... with γ_{n+1} = [G, γ_n] is the descending filtration that measures how many nested commutator layers are needed before triviality, thereby classifying nilpotency and producing associated graded structures.