Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Jordan-Holder Theorem

Algebra

Any two composition series of a finite group (or of a module of finite length) have the same length and, up to reordering and isomorphism, the same composition factors. Named for Camille Jordan and Otto Holder, it shows that a group's basic building blocks are uniquely determined.

Facts
Statement
Any two composition series of a given group are equivalent: they have the same composition length and the same composition factors, up to permutation and isomorphism. 1
Classification
Statement Form
Uniqueness Theorem 1
Connections

Associated With

Has Statement Form

In Branch

Proved By

Sources
1. Jordan-Holder Theorem (Wikipedia, Composition Series Article)
Wikimedia Foundation
  • Composition series article, Jordan-Holder theorem section
    any two composition series of a given group are equivalent. That is, they have the same composition length and the same composition factors, up to permutation and isomorphism.
  • In Group: Group Theory, Article text
    Nevertheless, a group of results known under the general name Jordan-Hölder theorem asserts that whenever composition series exist, the isomorphism classes of simple pieces (although, perhaps, not their location in the composition series in question) and their multiplicities are uniquely determined.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.