Jordan–Hölder factor

A Jordan–Hölder factor is a simple quotient in a composition series. The Jordan–Hölder theorem says that the multiset of such factors is independent of the chosen composition series.

Any two composition series of a finite group or finite-length module have the same length and the same simple factors up to permutation and isomorphism.