jordan-holder theorem

noun Mathematics.

1. the theorem that for any two composition series of a group, an isomorphism exists between the corresponding quotient groups of each series, taken in some specified order.