Socle (source code)

= Socle
{title2=$\operatorname{Soc}(M)$}
{wiki=Socle_(mathematics)}

The socle of a module is the sum of all its simple submodules, equivalently its largest <semisimple module>.