Serie Derivada

La sucesión de subgrupos (o subestructuras) definida recursivamente por G^{(0)} = G y G^{(n+1)} = [G^{(n)}, G^{(n)}], donde cada término es el subgrupo generado por todos los conmutadores del término anterior; mide la resolubilidad al eliminar iterativamente el contenido de conmutadores.