Jordan-Hölderin lause sanoo:
Jos ryhmällä on koostumussarja , niin sen pituus ja kaikki tekijät määräytyvät yksiselitteisesti permutaatioihin ja isomorfismiin asti [1] .
Tämä on klassinen versio Jordan - Hölder - lauseesta . Se viittaa tapaukseen, jossa kokoonpanosarja on äärellinen, eli se sisältää äärellisen määrän ryhmän alaryhmiä . Jordan-Hölderin lause pysyy voimassa nousevien transfiniittisten kokoonpanosarjojen tapauksessa [2] .