A ring is simple if it is it is a simple object in the category of --bimodules.
This can be stated in more elementary terms in any of the following equivalent ways:
- is nontrivial and has no nontrivial two-sided ideals.
- has exactly two two-sided ideals (which must be itself and its zero ideal).
In constructive algebra, this is too strong; we must say:
- For each two-sided ideal , is the zero ideal if and only if is proper (not equal to ).
Revised on November 27, 2009 17:06:30
by Toby Bartels