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. Lemma. A is a ring with identity 1 and an idempotent element e where AeA = A. Let I be the left ideal Ae, considered as a right module over eAe. Then A is isomorphic to the algebra of homomorphisms on I, denoted by Hom(I).Proof: We define the 'left regular representation' Φ : A → Hom(I) by Φ(a)m = am for m ∈ I. Φ is injective because if a ⋅ I = aAe = 0, then aA = aAeA = 0, which implies that a = a ⋅ 1 = 0.Theorem (Wedderburn). If A is a simple ring with unit 1 and a minimal left ideal I, then A is isomorphic to the ring of n × n-matrices over a division 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. 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 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 Ro 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 R {displaystyle R} is a simple commutative ring if and only if R {displaystyle R} is a field. This is because if R {displaystyle R} is a commutative ring, then you can pick a nonzero element x ∈ R {displaystyle xin R} and consider the ideal { x r : r ∈ R } {displaystyle {xr:rin R}} . Then since R {displaystyle R} is simple, this ideal is the entire ring, and so it contains 1, and therefore there is some element y ∈ R {displaystyle yin R} such that x y = 1 {displaystyle xy=1} , and so R {displaystyle R} is a field. Conversely, if R {displaystyle R} is known to be a field, then any nonzero ideal I ⊂ R {displaystyle Isubset R} will have a nonzero element i ∈ I {displaystyle iin I} . But since R {displaystyle R} is a field, then i − 1 ∈ R {displaystyle i^{-1}in R} and so i − 1 i = 1 ∈ I {displaystyle i^{-1}i=1in I} , and so I = R {displaystyle I=R} . 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: