Jordan–Hölder_decomposition loading ...