In mathematics, in the theory of modules, the radical of a module is a component in the theory of structure and classification. It is a generalization of the Jacobson radical for rings. In many ways, it is the dual notion to that of the socle soc(M) of M.
Definition Let R {\displaystyle R} be a ring and M {\displaystyle M} a left R {\displaystyle R} -module. A submodule N {\displaystyle N} of M {\displaystyle M} is called maximal or cosimple if the quotient M / N {\displaystyle M/N} is a simple module. The radical of the module M {\displaystyle M} is the intersection of all maximal submodules of M {\displaystyle M} ,
r a d ( M ) = ⋂ { N ∣ N is a maximal submodule of M } {\displaystyle \mathrm {rad} (M)=\bigcap \,\{N\mid N{\mbox{ is a maximal submodule of }}M\}}
Equivalently,
r a d ( M ) = ∑ { S ∣ S is a superfluous submodule of M } {\displaystyle \mathrm {rad} (M)=\sum \,\{S\mid S{\mbox{ is a superfluous submodule of }}M\}}
These definitions have direct dual analogues for s o c ( M ) {\displaystyle \mathrm {soc} (M)} .
Properties In addition to the fact that r a d ( M ) {\displaystyle \mathrm {rad} (M)} is the sum of superfluous submodules, in a Noetherian module, r a d ( M ) {\displaystyle \mathrm {rad} (M)} itself is a superfluous submodule. In fact, if M {\displaystyle M} is finitely generated over a ring, then r a d ( M ) {\displaystyle \mathrm {rad} (M)} itself is a superfluous submodule. This is because any proper submodule of M {\displaystyle M} is contained in a maximal submodule of M {\displaystyle M} when M {\displaystyle M} is finitely generated.
A ring for which r a d ( M ) = { 0 } {\displaystyle \mathrm {rad} (M)=\{0\}} for every right R {\displaystyle R} -module M {\displaystyle M} is called a right V-ring. For any module M {\displaystyle M} , r a d ( M / r a d ( M ) ) {\displaystyle \mathrm {rad} (M/\mathrm {rad} (M))} is zero.
M {\displaystyle M} is a finitely generated module if and only if the cosocle M / r a d ( M ) {\displaystyle M/\mathrm {rad} (M)} is finitely generated and r a d ( M ) {\displaystyle \mathrm {rad} (M)} is a superfluous submodule of M {\displaystyle M} .
See also Socle (mathematics) Jacobson radical
References Alperin, J.L.; Rowen B. Bell (1995). Groups and representations. Springer-Verlag. p. 136. ISBN 0-387-94526-1. Anderson, Frank Wylie; Kent R. Fuller (1992). Rings and Categories of Modules. Springer-Verlag. ISBN 978-0-387-97845-1.
