In

group theory, a composition series is a special kind of

subnormal series which gives a

decomposition of a

group into

simple groups.

Specifically, if G is a group, then a composition series for G is a sequence

G=G_{1}>G_{2}>...>G_{n}>G_{n+1}={1}

(where {1} denotes the trivial group and G>H means "H is a subgroup of G") such that for i=1,...,n,

- G
_{i+1} is a normal subgroup of G_{i} and
- the quotient group G
_{i}/G_{i+1} is a simple group.

These quotient groups are called composition factors for G.

It can be shown, using induction on the size of the group and the isomorphism theorems, that every finite group has a composition series. In general, the composition series will not be unique, but the Jordan-Holder theorem states that the composition factors will be unique for each group (counting mulitplicity).