La sucesión descendente de subgrupos definida por γ_1(G) = G y γ_{n+1}(G) = [G, γ_n(G)], donde cada término es el subgrupo generado por conmutadores del grupo entero con el término anterior; mide la nilpotencia al forzar progresivamente que capas sucesivas de conmutadores desaparezcan.

Principio

Al tomar iterativamente conmutadores con todo el grupo se imponen condiciones sucesivas de centralidad: si γ_c(G) = {1} para algún c, el grupo es nilpotente de clase < c, por lo que la serie codifica la profundidad de las interacciones no centrales.

Demostración

Para el grupo de matrices unitriangulares n×n sobre un campo, la serie central inferior alcanza el subgrupo trivial tras, a lo sumo, n−1 pasos; para un grupo abeliano γ_2(G) = {1} inmediatamente. Calcular γ_2, γ_3 ofrece medidas explícitas de la profundidad de los conmutadores.

Aplicación incorrecta

Confundir la serie central inferior con la serie derivada y asumir que terminan igual es incorrecto. Usar la construcción de la central inferior en categorías sin conmutadores de grupo bien comportados (p. ej. algunos sistemas no asociativos) produce resultados sin sentido.

Consecuencia

Bien empleada, la serie central inferior da la clase de nilpotencia, controla construcciones de álgebras de Lie graduadas asociadas (formando Gr(G) = ⊕ γ_n/γ_{n+1}) e informa sobre invariantes homológicos y de deformación ligados a series centrales.

Inversión

La inversión es considerar construcciones ascendentes (serie central superior) que construyen el grupo añadiendo sucesivamente subgrupos centrales en vez de pelar capas de conmutadores.

Límite

Se aplica en grupos y contextos tipo Lie donde los conmutadores con toda la estructura forman subgrupos normales; no se aplica directamente a estructuras algebraicas arbitrarias sin una noción compatible de clausura normal por conmutadores.

Tensión semántica

Existe tensión entre la serie central inferior y la serie derivada: ambas examinan lo no abeliano pero con distintos focos — nilpotencia frente a resolubilidad — y pueden dar estratificaciones y tiempos de terminación distintos.

Síntesis

La serie central inferior γ_1 ≥ γ_2 ≥ ... con γ_{n+1} = [G, γ_n] es la filtración descendente que mide cuántas capas anidadas de conmutadores se necesitan antes de la trivialidad, clasificando así la nilpotencia y produciendo estructuras graduadas asociadas.