A ring, containing more than one element, without two-sided ideals (cf. Ideal) different from 0 and the entire ring. An associative simple ring with an identity element and containing a minimal one-sided ideal is isomorphic to a matrix ring over a some skew-field (cf. also Associative rings and algebras). Without the assumption on the existence of an identity, such a ring is locally matrix over some skew-field $D$, i.e. each of its finite subsets is contained in a subring isomorphic to a matrix ring over $D$ (cf. ). There are simple rings without zero divisors (even Noetherian simple rings, cf. also Noetherian ring) different from a skew-field, as well as Noetherian simple rings with zero divisors but without idempotents . Simple rings that are radical in the sense of N. Jacobson are known (cf. ). Simple nil rings were constructed by Smoktunowicz in 2002 (cf. ).
|||L.A. Bokut', "Associative rings" , 1–2 , Novosibirsk (1977–1981) (In Russian)|
|||N. Jacobson, "Structure of rings" , Amer. Math. Soc. (1956)|
|||A.E. Zalesskii, O. Neroslavskii, "There exist simple Noetherian rings with zero division but without idempotents" Comm. in Algebra , 5 : 3 (1977) pp. 231–244 (In Russian) (English abstract)|
|||C. Faith, "Algebra" , 1–2 , Springer (1973–1976)|
|||J. Cozzens, C. Faith, "Simple Noetherian rings" , Cambridge Univ. Press (1975)|
|||A. Smoktunowicz, "A Simple Nil Ring Exists", Comm. in Algebra 30 (2002), pp. 27-59.|
Simple ring. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Simple_ring&oldid=39825