Socle (mathematics) (source code)

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

= Socle
{synonym}

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