# Simple ring

In abstract algebra, a **simple ring** is a non-zero ring that has no two-sided ideal besides the zero ideal and itself.

One should notice that several references (e.g., Lang (2002) or Bourbaki (2012)) require in addition that a simple ring be left or right Artinian (or equivalently semi-simple). Under such terminology a non-zero ring with no non-trivial two-sided ideals is called **quasi-simple**.

A simple ring can always be considered as a simple algebra over its center. Rings which are simple as rings but not as modules do exist: the full matrix ring over a field does not have any nontrivial ideals (since any ideal of M_{n}(*R*) is of the form M_{n}(*I*) with *I* an ideal of *R*), but has nontrivial left ideals (namely, the sets of matrices which have some fixed zero columns).

According to the Artin–Wedderburn theorem, every simple ring that is left or right Artinian is a matrix ring over a division ring. In particular, the only simple rings that are a finite-dimensional vector space over the real numbers are rings of matrices over either the real numbers, the complex numbers, or the quaternions.

Any quotient of a ring by a (possibly one-sided) maximal ideal is a simple ring. In particular, a field is a simple ring. In fact a division ring is also a simple ring. A ring is simple if and only its opposite ring *R*^{o} is simple.

An example of a simple ring that is not a matrix ring over a division ring is the Weyl algebra.

Furthermore, a ring is a simple commutative ring if and only if is a field. This is because if is a commutative ring, then you can pick a nonzero element and consider the ideal . Then since is simple, this ideal is the entire ring, and so it contains 1, and therefore there is some element such that , and so is a field. Conversely, if is known to be a field, then any nonzero ideal will have a nonzero element . But since is a field, then and so , and so .

## Wedderburn's theorem

Wedderburn's theorem characterizes simple rings with a unit and a minimal left ideal. (The left Artinian condition is a generalization of the second assumption.) Namely it says that every such ring is, up to isomorphism, a ring of (*n* × *n*)-matrices over a division ring.

Let *D* be a division ring and M_{n}(*D*) be the ring of matrices with entries in *D*. It is not hard to show that every left ideal in M_{n}(*D*) takes the following form:

- {
*M*∈ M_{n}(*D*) | The*n*_{1}...*n*-th columns of_{k}*M*have zero entries},

for some fixed {*n*_{1}, ..., *n _{k}*} ⊆ {1, ...,

*n*}. So a minimal ideal in M

_{n}(

*D*) is of the form

- {
*M*∈ M_{n}(*D*) | All but the*k*-th columns have zero entries},

for a given *k*. In other words, if *I* is a minimal left ideal, then *I* = M_{n}(*D*)*e*, where *e* is the idempotent matrix with 1 in the (*k*, *k*) entry and zero elsewhere. Also, *D* is isomorphic to *e*M_{n}(*D*)*e*. The left ideal *I* can be viewed as a right module over *e*M_{n}(*D*)*e*, and the ring M_{n}(*D*) is clearly isomorphic to the algebra of homomorphisms on this module.

The above example suggests the following lemma:

Lemma.Ais a ring with identity 1 and an idempotent elementewhereAeA=A. LetIbe the left idealAe, considered as a right module overeAe. ThenAis isomorphic to the algebra of homomorphisms onI, denoted byHom(I).

Proof:We define the "left regular representation" Φ :A→Hom(I) by Φ(a)m=amform∈I. Φ is injective because ifa⋅I=aAe= 0, thenaA=aAeA= 0, which implies thata=a⋅ 1 = 0.For surjectivity, let

T∈Hom(I). SinceAeA=A, the unit 1 can be expressed as 1 = ∑a. So_{i}eb_{i}

T(m) =T(1⋅m) =T(∑a) = ∑_{i}eb_{i}mT(a) = ∑_{i}eeb_{i}mT(a= [∑_{i}e) eb_{i}mT(a)_{i}eeb]_{i}m.Since the expression [∑

T(a)_{i}eeb] does not depend on_{i}m, Φ is surjective. This proves the lemma.

Wedderburn's theorem follows readily from the lemma.

Theorem(Wedderburn). IfAis a simple ring with unit 1 and a minimal left idealI, thenAis isomorphic to the ring ofn×n-matrices over a division ring.

One simply has to verify the assumptions of the lemma hold, i.e. find an idempotent *e* such that *I* = *Ae*, and then show that *eAe* is a division ring. The assumption *A* = *AeA* follows from *A* being simple.

## See also

## References

- Bourbaki, Nicolas (2012),
*Algèbre Ch. 8*(2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-35315-7 - Henderson, D.W. (1965). "A short proof of Wedderburn's theorem".
*Amer. Math. Monthly*.**72**: 385–386. doi:10.2307/2313499. - Lam, Tsit-Yuen (2001),
*A First Course in Noncommutative Rings*(2nd ed.), Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4419-8616-0, ISBN 978-0-387-95325-0, MR 1838439 - Lang, Serge (2002),
*Algebra*(3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0387953854