Jordan-Hölder-satsen säger:
Om en grupp har en sammansättningsserie bestäms dess längd och alla faktorer unikt, upp till permutationer och isomorfismer [1] .
Detta är en klassisk version av Jordan - Hölder-satsen . Det hänvisar till fallet när kompositionsserien är ändlig, det vill säga den inkluderar ett ändligt antal undergrupper av gruppen . Jordan-Hölder-satsen förblir giltig i fallet med stigande transfinita kompositionsserier [2] .