Théorème de Jordan–Hölder

Un théorème qui affirme que pour tout groupe ou module de longueur finie, deux séries de composition quelconques ont des facteurs simples isomorphes à permutation près ; autrement dit, le multiensemble des facteurs de composition (quotients simples) et la longueur de composition sont des invariants de l'objet.

Théorème selon lequel deux séries de composition d'un objet de longueur finie (par exemple un groupe fini ou un module de longueur finie) ont des multi‑ensembles de facteurs simples isomorphes, éventuellement dans des ordres différents ; le multi‑ensemble de facteurs est donc bien défini.