 ##  [Théorème de Jordan–Hölder](/fr/node/61263) 

  ##  [Théorème de Jordan–Hölder](https://mathlogic.quantumdictionary.io/fr/node/61264) 

  
 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Définition

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 de Jordan–Hölder](https://puremath.quantumdictionary.io/fr/node/62398) 

  
 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics &amp; Logic -

**Pure Mathematics Dictionary**

 
Définition

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.