Composition series (source code)

= Composition series
{wiki}

A composition series is a finite subnormal chain whose successive quotients are simple.