La cadena ascendente de subgrupos Z_0 = {1}, Z_{n+1} tal que Z_{n+1}/Z_n = Z(G/Z_n), es decir, cada término sucesivo es la preimagen del centro del cociente por el término anterior; mide cómo la estructura se construye a partir de capas centrales.

Principio

Añadiendo capas centrales sucesivas (elementos que se vuelven centrales módulo la capa previa) se reconstruye el grupo a partir de sus componentes centrales; la llegada finita a todo el grupo caracteriza a los grupos nilpotentes por extensión central.

Demostración

Para un grupo nilpotente de clase c, la serie central superior alcanza G en c pasos: Z_0 < Z_1 < ... < Z_c = G. En el grupo de Heisenberg, el centro Z_1 es no trivial y Z_2 = G, mostrando nilpotencia de clase 2.

Aplicación incorrecta

Confundir la serie central superior con la derivada o con la serie central inferior o suponer que las capas centrales se comportan como sumandos directos es un error. Tomar centros en cocientes no normales de forma incorrecta también invalida la construcción.

Consecuencia

Una construcción correcta aísla extensiones centrales, da la clase de nilpotencia cuando la serie alcanza el grupo y guía la reconstrucción de G a partir de cocientes centrales sucesivos, importante en teoría de extensiones y cohomología.

Inversión

La inversión es el enfoque descendente (serie central inferior) que pela capas de conmutadores en lugar de ensamblar capas centrales; enfatiza la eliminación de la no centralidad en vez de la acumulación de centralidad.

Límite

Válida en grupos y contextos algebraicos análogos donde los cocientes y centros tienen sentido; no aplicable directamente en estructuras carentes de un centro bien definido o donde los cocientes no preservan las propiedades relevantes.

Tensión semántica

Existe tensión con la serie central inferior porque ambas abordan la nilpotencia desde direcciones opuestas: la superior construye a partir de piezas centrales mientras la inferior elimina la complejidad de los conmutadores, pudiendo converger a ritmos distintos.

Síntesis

La serie central superior Z_0 ⊂ Z_1 ⊂ ... con Z_{n+1}/Z_n = Z(G/Z_n) es la filtración ascendente que construye una estructura por capas centrales sucesivas; su llegada finita al grupo caracteriza la nilpotencia por etapas centrales y organiza las extensiones centrales.