nLab
simple ring

A ring RR is simple if it is it is a simple object in the category of RR-RR-bimodules.

This can be stated in more elementary terms in any of the following equivalent ways:

In constructive algebra, this is too strong; we must say:

Examples