Para un grupo nilpotente, la clase de nilpotencia es el menor entero positivo c tal que el (c+1)-ésimo término de la serie central inferior es trivial; equivalentemente, el menor c para el que todos los conmutadores iterados de longitud c+1 se anulan.

Principio

Medir cuántas capas sucesivas de conmutadores se requieren para alcanzar el subgrupo trivial; la clase cuantifica la 'distancia' del grupo respecto a ser abeliano (clase 1) contando la profundidad de conmutadores no triviales.

Demostración

El grupo de Heisenberg discreto (matrices superiores triangulares 3×3 con unos en la diagonal) tiene clase de nilpotencia 2 porque los conmutadores están en el centro y los conmutadores posteriores se anulan; grupos p de clase c ofrecen ejemplos finitos donde los conmutadores iterados de peso c+1 son triviales.

Aplicación incorrecta

Confundir la clase de nilpotencia con la longitud derivada o la longitud de solvabilidad — una clase pequeña no implica directamente una determinada longitud de la serie derivada — o aplicar la noción a grupos no nilpotentes donde la serie central inferior nunca llega a ser trivial.

Consecuencia

Conocer la clase de nilpotencia conlleva consecuencias estructurales: centro no trivial, comportamiento tipo polinómico de los conmutadores, restricciones en series centrales inferiores y centrales, y simplificaciones en representaciones y cálculos de cohomología.

Inversión

Invertir el concepto lleva a grupos con clase de nilpotencia infinita (no nilpotentes): en lugar de un número finito de pasos hacia la trivialidad, se estudia la complejidad persistente de los conmutadores, característica de estructuras no abelianas más ricas.

Límite

Definido sólo para grupos nilpotentes con clase finita; para grupos no nilpotentes la clase se considera convencionalmente infinita; existen nociones análogas para álgebras de Lie y objetos filtrados, que requieren interpretaciones apropiadas del conmutador o corchete.

Tensión semántica

Hay tensión entre la clase de nilpotencia y la longitud derivada de solvabilidad: ambas miden la no-abelianidad mediante operaciones iteradas pero emplean series diferentes (central inferior vs derivada), por lo que pueden dar jerarquías cualitativamente distintas para el mismo grupo.

Síntesis

La clase de nilpotencia encapsula cuántas capas de conmutadores iterados son necesarias para aniquilar el comportamiento no abeliano de un grupo: es el entero mínimo c con término (c+1) de la serie central inferior trivial, proporcionando una estratificación discreta desde abeliano (clase 1) hacia arriba y guiando el análisis estructural y cohomológico.