Composition factor (source code)

= Composition factor
{title2=$M_i/M_{i-1}$}

A composition factor is an irreducible successive quotient in a <composition series of a module>. For a central <Casimir operator>, its scalar on a composition factor is an <eigenvalue> of the operator on the original <Lie algebra representation>.