Associative rings and algebras Definition
Semisimple ring
Builds on RingModule over a ringSemisimple moduleArtinian ringJacobson radical
Definition
Let be a ring with . The ring is (left) semisimple if , viewed as a left module over itself, is a semisimple module. That is, is a direct sum of minimal nonzero left ideals.
Remarks
Example: for a field , the ring is semisimple. The left ideals and of matrices that vanish outside the first and the second column are minimal, and .
Non-example: is not semisimple. A minimal nonzero ideal of would be some with , but lies strictly inside it, so has no minimal nonzero ideal.
A ring is left semisimple if and only if it is right semisimple, so one simply says semisimple. Equivalent conditions: every left -module is semisimple; every left -module is projective; is left Artinian and its Jacobson radical is . A semisimple ring is a finite direct sum of minimal left ideals, because lies in a finite partial sum.
Reading path
To understand this page from the ground up, read these 6 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Artinian ring concept
- Jacobson radical concept
- Module over a ring concept
- Ring concept
- Semisimple module concept
- Semisimple ring definition
Further reading
About this page
| Tag | MXXTYV1J2N |
|---|---|
| URI | m2://MXXTYV1J2N |
| Kind | definition |
| Writing | W0 stub |
| MSC | 16D60, 16K99, 16P20 |
| Defines | Semisimple ring |
| Uses | Ring, Module over a ring, Semisimple module, Artinian ring, Jacobson radical |
| Changed | 2 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.