semiprime

The final part of the semiprime-semisimple analogy is given by

Proposition 4.4. A ring mathbf R is semiprime if and only if mathbf R is isomorphic to a subdirect product of prime rings.