Radical series of a module (source code)

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

The radical series is the descending chain
$$
M\supseteq J(M)\supseteq J^2(M)\supseteq\cdots,
$$
where $J^{i+1}(M)=J(J^i(M))$. For finite-dimensional $A$ and $M$, one has $J^i(M)=J(A)^iM$.