Jordan–Hölder decomposition