Head of a module (source code)

= Head of a module
{title2=$M/J(M)$}

The head, or top, of a finite-length module $M$ is its largest semisimple quotient. It is $M/J(M)$, where $J(M)$ is the <radical of a module>.