nLab
Jordan-Hölder theorem

Idea

The Jordan-Hölder theorem says that every composition series of a given group, and every Jordan-Hölder sequence on a given object in an abelian category, has the same length, and the same simple factors, up to permutation. In particular says that the length of an object in an abelian category is well defined.

More generally, a form of the theorem holds in any homological category.

References

Last revised on November 3, 2016 at 06:00:35. See the history of this page for a list of all contributions to it.