Jordan–Hölder theorem (source code)

= Jordan–Hölder theorem
{c}

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.