In abstract algebra, a branch of mathematics, a simple ring is a non-zero ring that has no two-sided ideal besides the zero ideal and itself. In particular, a commutative ring is a simple ring if and only if it is a field.

The center of a simple ring is necessarily a field. It follows that a simple ring is an associative algebra over this field. So, simple algebra and simple ring are synonyms.

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.

Rings which are simple as rings but are not a simple module over themselves do exist: a full matrix ring over a field does not have any nontrivial ideals (since any ideal of is of the form with an ideal of ), but has nontrivial left ideals (for example, 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.

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

CharacterizationEdit

A ring is a simple algebra if it contains no non-trivial two-sided ideals.

An immediate example of simple algebras are division algebras, where every nonzero element has a multiplicative inverse, for instance, the real algebra of quaternions. Also, one can show that the algebra of   matrices with entries in a division ring is simple. In fact, this characterizes all finite-dimensional simple algebras up to isomorphism, i.e. any simple algebra that is finite dimensional over its center is isomorphic to a matrix algebra over some division ring. This was proved in 1907 by Joseph Wedderburn in his doctoral thesis, On hypercomplex numbers, which appeared in the Proceedings of the London Mathematical Society. Wedderburn's thesis classified simple and semisimple algebras. Simple algebras are building blocks of semi-simple algebras: any finite-dimensional semi-simple algebra is a Cartesian product, in the sense of algebras, of simple algebras.

Wedderburn's result was later generalized to semisimple rings in the Artin–Wedderburn theorem.

ExamplesEdit

  • A central simple algebra (sometimes called Brauer algebra) is a simple finite-dimensional algebra over a field   whose center is  .

Let   be the field of real numbers,   be the field of complex numbers, and   the quaternions.

  • Every finite-dimensional simple algebra over   is isomorphic to a matrix ring over  ,  , or  . Every central simple algebra over   is isomorphic to a matrix ring over   or  . These results follow from the Frobenius theorem.
  • Every finite-dimensional simple algebra over   is a central simple algebra, and is isomorphic to a matrix ring over  .
  • Every finite-dimensional central simple algebra over a finite field is isomorphic to a matrix ring over that field.
  • For a commutative ring, the four following properties are equivalent: being a semisimple ring; being Artinian and reduced; being a reduced Noetherian ring of Krull dimension 0; and being isomorphic to a finite direct product of fields.

Wedderburn's theoremEdit

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   matrices over a division ring.

Let   be a division ring and   be the ring of matrices with entries in  . It is not hard to show that every left ideal in   takes the following form:

 ,

for some fixed subset  . So a minimal ideal in   is of the form

 ,

for a given  . In other words, if   is a minimal left ideal, then  , where   is the idempotent matrix with 1 in the   entry and zero elsewhere. Also,   is isomorphic to  . The left ideal   can be viewed as a right module over  , and the ring   is clearly isomorphic to the algebra of homomorphisms on this module.

The above example suggests the following lemma:

Lemma.[dubious ]   is a ring with identity   and an idempotent element  , where  . Let   be the left ideal  , considered as a right module over  . Then   is isomorphic to the algebra of homomorphisms on  , denoted by  .

Proof: We define the "left regular representation"   by   for  . Then   is injective because if  , then  , which implies that  .

For surjectivity, let  . Since  , the unit   can be expressed as  . So

 .

Since the expression   does not depend on  ,   is surjective. This proves the lemma.

Wedderburn's theorem follows readily from the lemma.

Theorem (Wedderburn). If   is a simple ring with unit   and a minimal left ideal  , then   is isomorphic to the ring of   matrices over a division ring.

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

See alsoEdit

ReferencesEdit

  • A. A. Albert, Structure of algebras, Colloquium publications 24, American Mathematical Society, 2003, ISBN 0-8218-1024-3. P.37.
  • 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
  • Jacobson, Nathan (1989), Basic algebra II (2nd ed.), W. H. Freeman, ISBN 978-0-7167-1933-5