# Definition:Composition Series/Composition Length

## Theorem

Let $G$ be a group.

Let $\HH$ be a composition series for $G$.

The composition length of $G$ is the length of $\HH$.