Noncommutative ring

From Wikipedia, the free encyclopedia
  (Redirected from Noncommutative algebra)
Jump to: navigation, search

In mathematics, more specifically modern algebra and ring theory, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exists a and b in R with a·bb·a. Many authors use the term noncommutative ring to refer to rings which are not necessarily commutative, and hence include commutative rings in their definition. Noncommutative algebra is the study of results applying to rings that are not required to be commutative. Many important results in the field of noncommutative algebra area apply to commutative rings as special cases.

Although some authors do not assume that rings have a multiplicative identity, in this article we make that assumption unless stated otherwise.


Some examples of rings which are not commutative follow:

  • the matrix ring of n-by-n matrices over the real numbers, where n > 1
  • Hamilton's quaternions
  • any group ring made from a group that is not abelian
  • The free ring generated by a finite set. An example of two non-equal elements are .
  • The Weyl algebra is the ring of polynomial differential operators defined over affine space. For example, where the ideal corresponds to the Leibniz rule.
  • The quotient ring where the is called a quantum plane.
  • Clifford algebras can be described explicitly using an algebra presentation: Given an -vector space of dimension n with and a quadratic form , the associated clifford algebras has the presentation for any basis of .
  • Super algebras are another example of noncommutative rings. They can be presented as .


Beginning with division rings arising from geometry, the study of noncommutative rings has grown into a major area of modern algebra. The theory and exposition of noncommutative rings was expanded and refined in the 19th and 20th centuries by numerous authors. An incomplete list of such contributors includes E. Artin, Richard Brauer, P. M. Cohn, W. R. Hamilton, I. N. Herstein, N. Jacobson, K. Morita, E. Noether, Ø. Ore and others.

Differences between commutative and noncommutative algebra[edit]

Because noncommutative rings are a much larger class of rings than the commutative rings, their structure and behavior is less well understood. A great deal of work has been done successfully generalizing some results from commutative rings to noncommutative rings. A major difference between rings which are and are not commutative is the necessity to separately consider right ideals and left ideals. It is common for noncommutative ring theorists to enforce a condition on one of these types of ideals while not requiring it to hold for the opposite side. For commutative rings, the left–right distinction does not exist.

Important classes of noncommutative rings[edit]

Division rings[edit]

Main article: Division ring

A division ring, also called a skew field, is a ring in which division is possible. Specifically, it is a nonzero ring[1] in which every nonzero element a has a multiplicative inverse, i.e., an element x with a·x = x·a = 1. Stated differently, a ring is a division ring if and only if the group of units equals the set of all nonzero elements.

Division rings differ from fields only in that their multiplication is not required to be commutative. However, by Wedderburn's little theorem all finite division rings are commutative and therefore finite fields. Historically, division rings were sometimes referred to as fields, while fields were called “commutative fields”.

Semisimple rings[edit]

Main article: Semisimple ring

A module over a (not necessarily commutative) ring with unity is said to be semisimple (or completely reducible) if it is the direct sum of simple (irreducible) submodules.

A ring is said to be (left)-semisimple if it is semisimple as a left module over itself. Surprisingly, a left-semisimple ring is also right-semisimple and vice versa. The left/right distinction is therefore unnecessary.

Semiprimitive rings[edit]

Main article: Semiprimitive ring

In algebra, a semiprimitive ring or Jacobson semisimple ring or J-semisimple ring is a ring whose Jacobson radical is zero. This is a type of ring more general than a semisimple ring, but where simple modules still provide enough information about the ring. Rings such as the ring of integers are semiprimitive, and an artinian semiprimitive ring is just a semisimple ring. Semiprimitive rings can be understood as subdirect products of primitive rings, which are described by the Jacobson density theorem.

Simple rings[edit]

Main article: Simple ring

A simple ring is a non-zero ring that has no two-sided ideal besides the zero ideal and itself. 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. A ring R 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.

Important theorems[edit]

Wedderburn's little theorem[edit]

Wedderburn's little theorem states that every finite domain is a field. In other words, for finite rings, there is no distinction between domains, skew-fields and fields.

The Artin–Zorn theorem generalizes the theorem to alternative rings: every finite simple alternative ring is a field.[2]

Artin–Wedderburn theorem[edit]

The Artin–Wedderburn theorem is a classification theorem for semisimple rings and semisimple algebras. The theorem states that an (Artinian) [3] semisimple ring R is isomorphic to a product of finitely many ni-by-ni matrix rings over division rings Di, for some integers ni, both of which are uniquely determined up to permutation of the index i. In particular, any simple left or right Artinian ring is isomorphic to an n-by-n matrix ring over a division ring D, where both n and D are uniquely determined.[4]

As a direct corollary, the Artin–Wedderburn theorem implies that every simple ring that is finite-dimensional over a division ring (a simple algebra) is a matrix ring. This is Joseph Wedderburn's original result. Emil Artin later generalized it to the case of Artinian rings.

Jacobson density theorem[edit]

the Jacobson density theorem is a theorem concerning simple modules over a ring R.[5]

The theorem can be applied to show that any primitive ring can be viewed as a "dense" subring of the ring of linear transformations of a vector space.[6][7] This theorem first appeared in the literature in 1945, in the famous paper "Structure Theory of Simple Rings Without Finiteness Assumptions" by Nathan Jacobson.[8] This can be viewed as a kind of generalization of the Artin-Wedderburn theorem's conclusion about the structure of simple Artinian rings.

More formally, the theorem can be stated as follows:

The Jacobson Density Theorem. Let U be a simple right R-module, D = End(UR), and XU a finite and D-linearly independent set. If A is a D-linear transformation on U then there exists rR such that A(x) = xr for all x in X.[9]

Nakayama's lemma[edit]

Main article: Nakayama's lemma

A version of the lemma holds for right modules over non-commutative unitary rings R. The resulting theorem is sometimes known as the Jacobson–Azumaya theorem.[10]

Let J(R) be the Jacobson radical of R. If U is a right module over a ring, R, and I is a right ideal in R, then define U·I to be the set of all (finite) sums of elements of the form u·i, where · is simply the action of R on U. Necessarily, U·I is a submodule of U.

If V is a maximal submodule of U, then U/V is simple. So U·J(R) is necessarily a subset of V, by the definition of J(R) and the fact that U/V is simple.[11] Thus, if U contains at least one (proper) maximal submodule, U·J(R) is a proper submodule of U. However, this need not hold for arbitrary modules U over R, for U need not contain any maximal submodules.[12] Naturally, if U is a Noetherian module, this holds. If R is Noetherian, and U is finitely generated, then U is a Noetherian module over R, and the conclusion is satisfied.[13] Somewhat remarkable is that the weaker assumption, namely that U is finitely generated as an R-module (and no finiteness assumption on R), is sufficient to guarantee the conclusion. This is essentially the statement of Nakayama's lemma.[14]

Precisely, one has:

Nakayama's lemma: Let U be a finitely generated right module over a ring R. If U is a non-zero module, then U·J(R) is a proper submodule of U.[14]

Noncommutative localization[edit]

Localization is a systematic method of adding multiplicative inverses to a ring, and is usually applied to commutative rings. Given a ring R and a subset S, one wants to construct some ring R* and ring homomorphism from R to R*, such that the image of S consists of units (invertible elements) in R*. Further one wants R* to be the 'best possible' or 'most general' way to do this – in the usual fashion this should be expressed by a universal property. The localization of R by S is usually denoted by S −1R; however other notations are used in some important special cases. If S is the set of the non zero elements of an integral domain, then the localization is the field of fractions and thus usually denoted Frac(R).

Localizing non-commutative rings is more difficult; the localization does not exist for every set S of prospective units. One condition which ensures that the localization exists is the Ore condition.

One case for non-commutative rings where localization has a clear interest is for rings of differential operators. It has the interpretation, for example, of adjoining a formal inverse D−1 for a differentiation operator D. This is done in many contexts in methods for differential equations. There is now a large mathematical theory about it, named microlocalization, connecting with numerous other branches. The micro- tag is to do with connections with Fourier theory, in particular.

Morita equivalence[edit]

Main article: Morita equivalence

Morita equivalence is a relationship defined between rings that preserves many ring-theoretic properties. It is named after Japanese mathematician Kiiti Morita who defined equivalence and a similar notion of duality in 1958.

Two rings R and S (associative, with 1) are said to be (Morita) equivalent if there is an equivalence of the category of (left) modules over R, R-Mod, and the category of (left) modules over S, S-Mod. It can be shown that the left module categories R-Mod and S-Mod are equivalent if and only if the right module categories Mod-R and Mod-S are equivalent. Further it can be shown that any functor from R-Mod to S-Mod that yields an equivalence is automatically additive.

Brauer group[edit]

Main article: Brauer group

The Brauer group of a field K is an abelian group whose elements are Morita equivalence classes of central simple algebras of finite rank over K and addition is induced by the tensor product of algebras. It arose out of attempts to classify division algebras over a field and is named after the algebraist Richard Brauer. The group may also be defined in terms of Galois cohomology. More generally, the Brauer group of a scheme is defined in terms of Azumaya algebras.

Ore conditions[edit]

Main article: Ore condition

The Ore condition is a condition introduced by Øystein Ore, in connection with the question of extending beyond commutative rings the construction of a field of fractions, or more generally localization of a ring. The right Ore condition for a multiplicative subset S of a ring R is that for aR and sS, the intersection aSsR ≠ ∅.[15] A domain that satisfies the right Ore condition is called a right Ore domain. The left case is defined similarly.

Goldie's theorem[edit]

Main article: Goldie's theorem

In mathematics, Goldie's theorem is a basic structural result in ring theory, proved by Alfred Goldie during the 1950s. What is now termed a right Goldie ring is a ring R that has finite uniform dimension (="finite rank") as a right module over itself, and satisfies the ascending chain condition on right annihilators of subsets of R.

Goldie's theorem states that the semiprime right Goldie rings are precisely those that have a semisimple Artinian right classical ring of quotients. The structure of this ring of quotients is then completely determined by the Artin–Wedderburn theorem.

In particular, Goldie's theorem applies to semiprime right Noetherian rings, since by definition right Noetherian rings have the ascending chain condition on all right ideals. This is sufficient to guarantee that a right-Noetherian ring is right Goldie. The converse does not hold: every right Ore domain is a right Goldie domain, and hence so is every commutative integral domain.

A consequence of Goldie's theorem, again due to Goldie, is that every semiprime principal right ideal ring is isomorphic to a finite direct sum of prime principal right ideal rings. Every prime principal right ideal ring is isomorphic to a matrix ring over a right Ore domain.

See also[edit]


  1. ^ In this article, rings have a 1.
  2. ^ Shult, Ernest E. (2011). Points and lines. Characterizing the classical geometries. Universitext. Berlin: Springer-Verlag. p. 123. ISBN 978-3-642-15626-7. Zbl 1213.51001. 
  3. ^ Semisimple rings are necessarily Artinian rings. Some authors use "semisimple" to mean the ring has a trivial Jacobson radical. For Artinian rings, the two notions are equivalent, so "Artinian" is included here to eliminate that ambiguity.
  4. ^ John A. Beachy (1999). Introductory Lectures on Rings and Modules. Cambridge University Press. p. 156. ISBN 978-0-521-64407-5. 
  5. ^ Isaacs, p. 184
  6. ^ Such rings of linear transformations are also known as full linear rings.
  7. ^ Isaacs, Corollary 13.16, p. 187
  8. ^ Jacobson, Nathan "Structure Theory of Simple Rings Without Finiteness Assumptions"
  9. ^ Isaacs, Theorem 13.14, p. 185
  10. ^ Nagata 1962, §A2
  11. ^ Isaacs 1993, p. 182
  12. ^ Isaacs 1993, p. 183
  13. ^ Isaacs 1993, Theorem 12.19, p. 172
  14. ^ a b Isaacs 1993, Theorem 13.11, p. 183
  15. ^ Cohn, P. M. (1991). "Chap. 9.1". Algebra. Vol. 3 (2nd ed.). p. 351. 

Further reading[edit]