Every finite group of order greater than one possesses a finite series of subgroups, called a composition series, such that
where is a maximal subgroup of and means that is a normal subgroup of . A composition series is therefore a normal series without repetition whose factors are all simple (Scott 1987, p. 36).
The quotient groups , , ..., , are called composition quotient groups.