Associative rings and algebras Definition
Indecomposable module
Builds on Module over a ringSubmoduleEndomorphism ringIdempotent element
Definition
Let be a ring and let be a left -module. The module is indecomposable if:
- ;
- whenever for submodules of , one has or .
Remarks
Equivalently, and the only idempotents of the endomorphism ring are and . Example: the -module is indecomposable. The check: two nonzero submodules and both contain , so their sum is never direct. Example: is indecomposable for prime and , since its subgroups form a chain. Non-example: fails clause 2. Every simple module is indecomposable, but 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
- no evidence level
- Endomorphism ring concept
- Group concept
- Module over a ring definition
- Ring definition
- Submodule definition
- Idempotent element definition
- Indecomposable module definition
Further reading
About this page
| Tag | WD3G29FZ98 |
|---|---|
| URI | m2://WD3G29FZ98 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 16D70 |
| Defines | Indecomposable module |
| Uses | Module over a ring, Submodule, Endomorphism ring, Idempotent element |
| Changed | 2 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.