Para un grupo nilpotente o una álgebra de Lie nilpotente, la clase de nilpotencia (o clase de nilpotentismo) es el menor entero c tal que el (c+1)-ésimo término de la serie central inferior es trivial; cuantifica cuántos pasos de conmutadores no triviales son necesarios hasta alcanzar el subgrupo trivial o el álgebra cero.

Principio

Medir la profundidad de la no conmutatividad mediante la serie central inferior G = γ1(G) ≥ γ2(G) ≥ ... con γ_{i+1}(G) = [G,γ_i(G)]; la clase c significa γ_{c+1}(G) = {e} pero γ_c(G) ≠ {e}, indicando que todos los conmutadores anidados suficientemente largos se anulan.

Demostración

El grupo de Heisenberg (matrices superiores triangulares 3×3 con unos en la diagonal) es nilpotente de clase 2 porque los conmutadores yacen en el centro y cualquier conmutador iterado de longitud 3 es trivial; un grupo abeliano tiene clase de nilpotencia 1.

Aplicación incorrecta

Llamar nilpotente a un grupo resoluble pero no nilpotente o usar la clase de nilpotencia para estructuras donde la serie central inferior no termina; otro uso indebido es equiparar baja clase de nilpotencia con comportamiento casi abeliano en contextos donde las series centrales se comportan de forma distinta.

Consecuencia

Tener clase de nilpotencia finita proporciona un fuerte control estructural: las series centrales alcanzan el grupo entero en un número finito de pasos, muchos argumentos de descomposición e inducción se aplican, y la clasificación de p-grupos finitos usa a menudo cotas de clase para restringir posibilidades.

Inversión

El contraste inverso es la longitud derivada de la solvabilidad: un grupo puede ser resoluble con pequeña longitud derivada pero tener gran clase de nilpotencia o no ser nilpotente; la inversión destaca diferentes medidas del alejamiento de lo abeliano.

Límite

Se aplica únicamente a grupos nilpotentes o álgebras de Lie (u otros sistemas algebraicos con una serie central inferior); excluye grupos resolubles no nilpotentes, anillos generales sin filtración por conmutadores y series infinitas que no se estabilizan.

Tensión semántica

Existe tensión entre la clase de nilpotencia y la longitud derivada: ambas cuantifican la complejidad no abeliana pero mediante series diferentes (central inferior frente a derivada), y un valor bajo en una no obliga a un valor bajo en la otra.

Síntesis

La clase de nilpotencia condensa la estructura de conmutadores anidados en un solo entero c: tras c pasos de tomar conmutadores, todos los conmutadores posteriores se anulan, de modo que la clase mide el número de pasos hasta la centralidad y organiza argumentos estructurales por inducción.