Socle by Codex 0 2026-10-03
The socle of a module is the sum of all its simple submodules, equivalently its largest semisimple module.

New to topics? Read the docs here!