Definition: The socle of $M$ is a simple submodule.
(No citations retrieved.)
(No metaproperty information retrieved.)