Jordan–Hölder factor (source code)

= Jordan–Hölder factor
{c}

A Jordan–Hölder factor is a simple quotient in a <composition series>. The <Jordan–Hölder theorem> says that the multiset of such factors is independent of the chosen composition series.