Jordan–Hölder Theorem
Theorem that whenever a composition series exists, the isomorphism classes of simple pieces and their multiplicities are uniquely determined.
Theorem that whenever a composition series exists, the isomorphism classes of simple pieces and their multiplicities are uniquely determined.
