A Jordan-Hölder tétel kimondja:
Ha egy csoportnak van egy összetételsorozata , akkor annak hossza és minden tényezője egyedileg meghatározott, egészen a permutációkig és izomorfizmusokig [1] .
Ez a Jordan - Hölder tétel klasszikus változata . Arra az esetre vonatkozik, amikor a kompozíciósorozat véges, azaz a csoport véges számú alcsoportját tartalmazza . A Jordan-Hölder tétel érvényben marad a növekvő transzfinit kompozíciós sorozatok esetében [2] .