Así, todo grupo finito admite una serie de composición formula_1 siendo n la longitud de la serie y donde cada factor de composición "H" / "H" es un grupo simple.