Composition length (source code)

= Composition length
{title2=$\ell(M)$}

The composition length of a finite-length module or group is the number of simple factors in a <composition series>. The <Jordan–Hölder theorem> makes this independent of the chosen composition series.