Math 2.0

Associative rings and algebras Definition

Indecomposable module

Builds on Module over a ringSubmoduleEndomorphism ringIdempotent element

Definition

Let RR be a ring and let MM be a left RR-module. The module MM is indecomposable if:

  1. M≠0M \ne 0;
  2. whenever M=N1⊕N2M = N_1 \oplus N_2 for submodules N1,N2N_1, N_2 of MM, one has N1=0N_1 = 0 or N2=0N_2 = 0.

Remarks

Equivalently, M≠0M \ne 0 and the only idempotents of the endomorphism ring End⁡R(M)\End_R(M) are 00 and 11. Example: the ℤ\Z-module ℤ\Z is indecomposable. The check: two nonzero submodules aℤa\Z and bℤb\Z both contain ab≠0ab \ne 0, so their sum is never direct. Example: ℤ/pnℤ\Z/p^n\Z is indecomposable for pp prime and n≥1n \ge 1, since its subgroups form a chain. Non-example: ℤ/6ℤ={0,3}⊕{0,2,4}\Z/6\Z = \set{0, 3} \oplus \set{0, 2, 4} fails clause 2. Every simple module is indecomposable, but ℤ/4ℤ\Z/4\Z is indecomposable and not simple.

Reading path

To understand this page from the ground up, read these 7 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. Endomorphism ring concept
  2. Group concept
  3. Module over a ring definition
  4. Ring definition
  5. Submodule definition
  6. Idempotent element definition
  7. Indecomposable module definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Indecomposable_module
About this page
TagWD3G29FZ98
URIm2://WD3G29FZ98
Kinddefinition
WritingW0 stub
MSC16D70
DefinesIndecomposable module
UsesModule over a ring, Submodule, Endomorphism ring, Idempotent element
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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.