For a nilpotent group or Lie algebra, the nilpotency class (or class of nilpotency) is the smallest integer c such that the (c+1)-th term of the lower central series is trivial; it quantifies how many nontrivial commutator steps are needed before reaching the trivial subgroup or zero algebra.

Principle

Measure the depth of noncommutativity via the lower central series G = γ1(G) ≥ γ2(G) ≥ ... where γ_{i+1}(G) = [G,γ_i(G)]; nilpotency class c means γ_{c+1}(G) = {e} but γ_c(G) ≠ {e}, indicating that all sufficiently long nested commutators vanish.

Demonstration

The Heisenberg group (upper-triangular 3×3 matrices with ones on the diagonal) is nilpotent of class 2 because commutators lie in the center and any 3-fold iterated commutator is trivial; an abelian group has nilpotency class 1.

Misapplication

Calling a solvable but non-nilpotent group 'nilpotent' or using nilpotency class for structures where the lower central series does not terminate; another misuse is equating low nilpotency class with near-abelian behaviour in contexts where central series differ in behavior.

Consequence

Finite nilpotency class yields a strong structural control: central series reach the whole group in finitely many steps, many decomposition and induction arguments apply, and finite-p-group classification often uses class bounds to constrain possibilities.

Reversal

The reverse contrast is the derived length of solvability: a group can be solvable with small derived length yet have large nilpotency class or be non-nilpotent; reversing highlights different measures of how far a group is from abelian.

Boundary

Applies only to nilpotent groups or Lie algebras (or other algebraic systems with a lower central series); excludes solvable non-nilpotent groups, general rings without commutator filtration, and infinite series that do not stabilize.

Semantic Tension

Tension exists between nilpotency class and derived length: both quantify non-abelian complexity but via different series (lower central versus derived), and a low value in one does not force a low value in the other.

Synthesis

Nilpotency class compresses the nested commutator structure into a single integer c: after c steps of taking commutators all further commutators vanish, so class measures the step-count to centrality and organizes inductive structural arguments.