Jordan-Hölder theorem: Meaning and Definition of

Jor'dan-Höl'der the"orem

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.