Radical of a module (source code)

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

The radical $J(M)$ of a module is the intersection of its maximal submodules. For a finite-dimensional module over a finite-dimensional algebra $A$,
$$
J(M)=J(A)M,
$$
and it is the smallest submodule $N$ for which $M/N$ is a <semisimple module>.