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.

Principe

Les raffinements de filtrations de longueur finie donnent la même collection de briques simples à permutation et isomorphisme près ; les facteurs de composition sont des invariants de l'objet indépendants de la série choisie.

Démonstration

Pour un groupe fini avec une série de composition G > N > {e} où les quotients sont des groupes simples, toute autre série de composition se raffine en une liste équivalente de quotients simples ; par exemple un groupe résoluble n'admetra que des facteurs simples abéliens (cycliques d'ordre premier), illustrant la contrainte du théorème.

Mauvaise application

Tenter d'appliquer Jordan–Hölder à des objets sans longueur finie (groupes ou modules infinits sans série de composition) ou considérer la suite ordonnée des facteurs comme canonique plutôt que le multi‑ensemble des classes d'isomorphisme.

Conséquence

Donne un multi‑ensemble canonique de facteurs simples servant d'invariant discret pour la classification et la comparaison ; il soutient les affirmations d'unicité en théorie de la structure et ramène les problèmes à l'analyse des constituants simples.

Inversion

Inverser l'énoncé conduit à observer que partager le même multi‑ensemble de facteurs de composition n'identifie pas la structure d'extensions ni la classe d'isomorphisme complète de l'objet ; des objets non isomorphes peuvent avoir les mêmes facteurs.

Limite

Exige que l'objet ait longueur finie (existence d'une série de composition). Il ne contrôle pas les classes d'extensions, l'arrangement précis des sous‑objets, et ne s'applique pas aux objets de longueur infinie ou dépourvus de facteurs simples.

Tension sémantique

Tension entre Jordan–Hölder et des invariants plus fins (classes d'extensions, structure de module) : Jordan–Hölder fixe les briques simples mais laisse indéterminée leur façon d'assemblage, il est donc complémentaire à la classification des extensions.

Synthèse

Jordan–Hölder formalise que les objets de longueur finie se construisent à partir de constituants simples dont le multi‑ensemble est invariant : les séries de composition peuvent varier, mais les briques simples sous-jacentes (avec multiplicité) forment l'empreinte canonique de l'objet.