A theorem stating that for any finite-length group or module, any two composition series have isomorphic simple factor modules up to reordering; equivalently, the multiset of composition factors (simple quotients) and the composition length are invariants of the object.

Principle

Although composition series may differ in the intermediate subobjects, the simple building blocks and their multiplicities are uniquely determined up to order and isomorphism, so the 'atomic' constituents are invariant while filtrations are not.

Demonstration

For the group S3 a composition series is {e} ⊲ A3 ⊲ S3 with simple factors A3/{e} ≅ C3 and S3/A3 ≅ C2; any other composition series of S3 yields the same multiset of simple quotients {C3, C2} possibly in the other order, illustrating the theorem.

Misapplication

Assuming Jordan–Hölder implies reconstruction: believing that two groups (or modules) with the same multiset of composition factors must be isomorphic; this is false—non-isomorphic extensions with the same composition factors can exist.

Consequence

Provides well-defined invariants (composition length and multiset of simple factors) used in classification and comparison problems, and ensures that refinement arguments terminate with the same atomic constituents.

Reversal

If the theorem failed, different composition series could yield different multisets of simple factors, making the notion of 'simple constituents' ill-defined and preventing stable invariants based on composition factors.

Boundary

Requires objects of finite length (modules with finite composition series or finite groups with finite normal series whose successive quotients are simple); it does not apply to infinite-length objects or to series that are not composition series (i.e., quotients not simple).

Semantic Tension

Jordan–Hölder is often contrasted with Schreier refinement: Schreier guarantees common refinements of two series while Jordan–Hölder guarantees uniqueness of simple factors; the tension is between refinement existence and uniqueness of atomic constituents.

Synthesis

Jordan–Hölder reconciles nonuniqueness of filtrations with uniqueness of atomic structure: although different composition series may present different intermediate steps, they all break the object into the same simple building blocks counted with the same multiplicities.