Math 2.0

Associative rings and algebras Definition

Radical of a module

Builds on Module over a ringSubmoduleJacobson radical

Definition

Let RR be a ring and let MM be a left module over RR. A maximal submodule of MM is a submodule N≠MN \ne M such that no submodule lies strictly between NN and MM. The radical of MM, written rad⁡(M)\operatorname{rad}(M), is the intersection of all maximal submodules of MM. If MM has no maximal submodule, then rad⁡(M)=M\operatorname{rad}(M) = M.

Remarks

Example: let M=ℤ/12ℤM = \Z/12\Z as a ℤ\Z-module. Its maximal submodules are 2ℤ/12ℤ2\Z/12\Z and 3ℤ/12ℤ3\Z/12\Z, so rad⁡(M)=6ℤ/12ℤ\operatorname{rad}(M) = 6\Z/12\Z, which has 22 elements.

Non-example of a proper radical: the ℤ\Z-module ℚ\Q has no maximal submodule, because every quotient ℚ/N\Q/N with N≠ℚN \ne \Q is divisible and so is not simple. So rad⁡(ℚ)=ℚ\operatorname{rad}(\Q) = \Q.

For M=RM = R as a left module over itself, rad⁡(R)\operatorname{rad}(R) is the Jacobson radical J(R)J(R). Equivalently, rad⁡(M)\operatorname{rad}(M) is the intersection of the kernels of all module homomorphisms from MM to simple modules. For every MM one has J(R)M⊆rad⁡(M)J(R) M \subseteq \operatorname{rad}(M), with equality when RR is left Artinian.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Jacobson radical concept
  2. Module over a ring concept
  3. Submodule concept
  4. Radical of a module definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Radical_of_a_module
About this page
TagV1H5X4H8Q7
URIm2://V1H5X4H8Q7
Kinddefinition
WritingW0 stub
MSC16N20, 16D10
DefinesRadical of a module
UsesModule over a ring, Submodule, Jacobson radical
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.