Given a ring R, the socle of a left R-module M is the sum of all simple submodules of M. Clearly the socle is a semisimple R-module. This notion is important in representation theory.