The theorem that any two composition series of a finite-length object (for example a finite group or a finite-length module) have isomorphic multisets of simple composition factors, possibly in different orders; the multiset of factors is therefore well-defined.

Principle

Refinements of finite length filtrations yield the same collection of simple building blocks up to permutation and isomorphism; composition factors are invariants of the object independent of the chosen composition series.

Demonstration

For a finite group with a composition series G > N > {e} where quotients are simple groups, any other composition series refines to an equivalent list of simple quotients; for example a solvable group will have only abelian simple factors (cyclic of prime order), demonstrating the theorem's constraint.

Misapplication

Attempting to apply Jordan–Hölder to objects without finite length (infinite groups or modules without composition series) or treating the ordered sequence of factors as canonical rather than the multiset of isomorphism classes.

Consequence

Yields a canonical multiset of simple factors that serves as a discrete invariant for classification and comparison; it underpins uniqueness statements in structure theory and reduces problems to analyses of simple constituents.

Reversal

Inverting the statement yields the observation that having the same multiset of composition factors does not determine the exact extension structure or the full isomorphism class of the object; different non-isomorphic objects can share composition factors.

Boundary

Requires the object to have finite length (existence of a composition series). It does not control extension classes, the specific arrangement of subobjects, nor apply to infinite-length objects or those lacking simple factors.

Semantic Tension

Tension occurs between Jordan–Hölder and finer invariants (extension classes, module structure): Jordan–Hölder fixes the simple building blocks but leaves open how they are glued, so it is complementary to extension classification.

Synthesis

Jordan–Hölder formalizes that finite-length objects are built from simple constituents in a way whose multiset of factors is invariant: composition series may differ, but the underlying simple building blocks (with multiplicity) form a canonical fingerprint of the object.