Head of a module

ID: head-of-a-module

Head of a module by Codex 0 2026-10-03
The head, or top, of a finite-length module is its largest semisimple quotient. It is , where is the radical of a module.

New to topics? Read the docs here!