Radical of a module

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 be a ring and M a left R-module. A submodule N of M is called maximal or cosimple if the quotient M/N is a simple module. The radical of the module M is the intersection of all maximal submodules of M,

$\mathrm {rad}(M) = \bigcap \{ N \mid N \mbox{ is a maximal submodule of M} \} \,$

Equivalently,

$\mathrm {rad}(M) = \sum \{ S \mid S \mbox{ is a superfluous submodule of M} \} \,$

These definitions have direct dual analogues for soc(M).

Properties

• In addition to the fact rad(M) is the sum of superfluous submodules, in a Noetherian module rad(M) itself is a superfluous submodule.
• A ring for which rad(M) ={0} for every right R module M is called a right V-ring.
• For any module M, rad(M/rad(M)) is zero.
• M is a finitely generated module if and only if M/rad(M) is finitely generated and rad(M) is a superfluous submodule of M.

See also

• Socle (mathematics)
• Jacobson radical

References

• Alperin, J.L.; Rowen B. Bell (1995). Groups and representations. Springer-Verlag. pp. 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. 

This algebra-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Algebra stubs Module theory Wikimedia Foundation. 2010. Игры ⚽ Поможем написать курсовую Sunil Narine My Sassy Girl (2008 film) Look at other dictionaries: Radical d'un idéal — Pour les articles homonymes, voir Radical. En algèbre commutative, le radical d un idéal I dans un anneau commutatif A est l ensemble des éléments de A dont une puissance appartient à I. Sommaire 1 Définition 2 …   Wikipédia en Français Radical polynomial — In mathematics, in the realm of abstract algebra, a radical polynomial is a multivariate polynomial over a field that can be expressed as a polynomial in the sum of squares of the variables. That is, if :k [x 1, x 2,ldots, x n] is a polynomial… …   Wikipedia Jacobson radical — In ring theory, a branch of abstract algebra, the Jacobson radical of a ring R is an ideal of R which contains those elements of R which in a sense are close to zero . DefinitionThe Jacobson radical is denoted by J( R ) and can be defined in the… …   Wikipedia Serial module — Chain ring redirects here. For the bicycle part, see Chainring. In abstract algebra, a uniserial module M is a module over a ring R, whose submodules are totally ordered by inclusion. This means simply that for any two submodules N1 and N2 of M,… …   Wikipedia Semisimple module — In mathematics, especially in the area of abstract algebra known as module theory, a semisimple module or completely reducible module is a type of module that can be understood easily from its parts. A ring which is a semisimple module over… …   Wikipedia Finitely-generated module — In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated R module also may be called a finite R module or finite over R.[1] Related concepts include finitely cogenerated modules, finitely… …   Wikipedia D-module — In mathematics, a D module is a module over a ring D of differential operators. The major interest of such D modules is as an approach to the theory of linear partial differential equations. Since around 1970, D module theory has been built up,… …   Wikipedia Socle (mathematics) — In mathematics, the term socle has two distinct but related meanings.In the context of a module M over a ring R , the socle of M is the sum of the minimal non trivial submodules of M . It is denoted Soc( M ). In particular, a module is semisimple …   Wikipedia List of mathematics articles (R) — NOTOC R R. A. Fisher Lectureship Rabdology Rabin automaton Rabin signature algorithm Rabinovich Fabrikant equations Rabinowitsch trick Racah polynomials Racah W coefficient Racetrack (game) Racks and quandles Radar chart Rademacher complexity… …   Wikipedia Nakayama lemma — In mathematics, more specifically modern algebra and commutative algebra, Nakayama s lemma also known as the Krull–Azumaya theorem[1] governs the interaction between the Jacobson radical of a ring (typically a commutative ring) and its finitely… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”