Twierdzenie Jordana-Höldera – twierdzenie teorii grup zapewniające jednoznaczność konstrukcji ciągu kompozycyjnego grupy (o ile można ją przeprowadzićPrzykładowo każda grupa skończona ma ciąg kompozycyjny.), tzn. stwierdzające równoważność dowolnych dwóch ciągów kompozycyjnych danej grupy.
Pierwszą część twierdzenia, mianowicie niezmienniczość (co do porządku) rzędów grup ilorazowych „ciągu Jordana-Höldera” grupy skończonej, dowiódł Camille Jordan w Traité des substitutions et des équations algébriques („Traktakt o podstawieniach i równaniach algebraicznych”) z 1870 roku. Właściwe twierdzenie o jednoznaczności będące uzupełnieniem wyniku Jordana podał Otto Hölder, który pokazał w opublikowanej w Mathematische Annalen z 1889 roku pracy Zurückführung einer beliebigen algebraischen Gleichung auf eine Kette von Gleichungen („Przypisanie dowolnemu równaniu algebraicznemu ciągu równań”)W tym dziele po raz pierwszy pojawiają się grupy ilorazowe we współczesnej postaci., że same ilorazy (co do porządku) są niezależne od rozważanego ciągu.