Dictionary.com
Thesaurus.com

Jordan-Hölder theorem

American  
[jawr-dn-hel-der] / ˈdʒɔr dnˈhɛl dər /

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.


Etymology

Origin of Jordan-Hölder theorem

First recorded in 1935–40; named after M.E.C. Jordan and German mathematician Ludwig Otto Hölder (1859–1937)