# semisimple ring

A ring $R$ is (left) semisimple    if it one of the following statements:

1. 1.

All left $R$-modules are semisimple.

2. 2.

All finitely-generated (http://planetmath.org/FinitelyGeneratedRModule) left $R$-modules are semisimple.

3. 3.

All cyclic left $R$-modules are semisimple.

4. 4.
5. 5.

The last condition offers another homological characterization of a semisimple ring:

• A ring $R$ is (left) semisimple iff all of its left modules are projective (http://planetmath.org/ProjectiveModule).

• A ring is left semisimple iff it is semiprimitive and left artinian.

In some literature, a (left) semisimple ring is defined to be a ring that is semiprimitive without necessarily being (left) artinian. Such a ring (semiprimitive) is called Jacobson semisimple, or J-semisimple, to remind us of the fact that its Jacobson radical  is (0).

The theorem implies that a left semisimplicity is synonymous with right semisimplicity, so that it is safe to drop the word left or right when referring to semisimple rings.

Title semisimple ring SemisimpleRing 2013-03-22 14:19:05 2013-03-22 14:19:05 CWoo (3771) CWoo (3771) 11 CWoo (3771) Definition msc 16D60 SemiprimitiveRing semisimple