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 that is a semisimple module over itself is known as an Artinian semisimple ring. Some important rings, such as group rings of finite groups over fields of characteristic zero, are semisimple rings. An Artinian ring is initially understood via its largest semisimple quotient. The structure of Artinian semisimple rings is well understood by the Artin–Wedderburn theorem, which exhibits these rings as finite direct products of matrix rings.
For a group-theory analog of the same notion, see Semisimple representation.
For a module M, the following are equivalent:
For the proof of the equivalences, see Semisimple representation § Equivalent characterizations.
The most basic example of a semisimple module is a module over a field, i.e., a vector space. On the other hand, the ring Z of integers is not a semisimple module over itself, since the submodule 2Z is not a direct summand.
Let A be an algebra over a field K. Then a left module M over A is said to be absolutely semisimple if, for any field extension F of K, F ⊗K M is a semisimple module over F ⊗K A.
A ring is said to be (left)-semisimple if it is semisimple as a left module over itself. Surprisingly, a left-semisimple ring is also right-semisimple and vice versa. The left/right distinction is therefore unnecessary, and one can speak of semisimple rings without ambiguity.
A semisimple ring may be characterized in terms of homological algebra: namely, a ring R is semisimple if and only if any short exact sequence of left (or right) R-modules splits. That is for a short exact sequence
there exists s : C → B such that the composition g ∘ s : C → C is the identity. The map s is known as a section. From this is follows that
or in more exact terms
Semisimple rings are of particular interest to algebraists. For example, if the base ring R is semisimple, then all R-modules would automatically be semisimple. Furthermore, every simple (left) R-module is isomorphic to a minimal left ideal of R, that is, R is a left Kasch ring.
One should beware that despite the terminology, not all simple rings are semisimple. The problem is that the ring may be "too big", that is, not (left/right) Artinian. In fact, if R is a simple ring with a minimal left/right ideal, then R is semisimple.
Classic examples of simple, but not semisimple, rings are the Weyl algebras, such as the -algebra
which is a simple noncommutative domain. These and many other nice examples are discussed in more detail in several noncommutative ring theory texts, including chapter 3 of Lam's text, in which they are described as nonartinian simple rings. The module theory for the Weyl algebras is well studied and differs significantly from that of semisimple rings.
A ring is called Jacobson semisimple (or J-semisimple or semiprimitive) if the intersection of the maximal left ideals is zero, that is, if the Jacobson radical is zero. Every ring that is semisimple as a module over itself has zero Jacobson radical, but not every ring with zero Jacobson radical is semisimple as a module over itself. A J-semisimple ring is semisimple if and only if it is an artinian ring, so semisimple rings are often called artinian semisimple rings to avoid confusion.
For example, the ring of integers, Z, is J-semisimple, but not artinian semisimple.