Loewy length (source code)

= Loewy length
{wiki}

The Loewy length of a finite-length module is both the least $m$ for which $J^m(M)=0$ and the least $m$ for which $\operatorname{Soc}^m(M)=M$.