Matrix ring

From formulasearchengine
Jump to navigation Jump to search

{{#invoke:Hatnote|hatnote}}Template:Main other

In abstract algebra, a matrix ring is any collection of matrices forming a ring under matrix addition and matrix multiplication. The set of n×n matrices with entries from another ring is a matrix ring, as well as some subsets of infinite matrices which form infinite matrix rings. Any subrings of these matrix rings are also called matrix rings.

In the case when R is a commutative ring, then the matrix ring Mn(R) is an associative algebra which may be called a matrix algebra. In this situation, if M is a matrix and r is in R, then the matrix Mr is the matrix M with each of its entries multiplied by r.

It is assumed throughout that R is an associative ring with a unit 1 ≠ 0, although matrix rings can be formed over rings without unity.


  • The set of all n×n matrices over an arbitrary ring R, denoted Mn(R). This is usually referred to as the "full ring of n by n matrices". These matrices represent endomorphisms of the free module Rn.
  • If R is a normed ring, then the condition of row or column finiteness in the previous point can be relaxed. With the norm in place, absolutely convergent series can be used instead of finite sums. For example, the matrices whose column sums are absolutely convergent sequences form a ring. Analogously of course, the matrices whose row sums are absolutely convergent series also form a ring. This idea can be used to represent operators on Hilbert spaces, for example.
  • Complex matrix algebras Mn(C) are, up to isomorphism, the only simple associative algebras over the field C of complex numbers. For n = 2, the matrix algebra M2(C) plays an important role in the theory of angular momentum. It has an alternative basis given by the identity matrix and the three Pauli matrices. M2(C) was the scene of early abstract algebra in the form of biquaternions.
  • A matrix ring over a field is a Frobenius algebra, with Frobenius form given by the trace of the product: σ(A,B)=tr(AB).


  • In general, every semisimple ring is isomorphic to a finite direct product of full matrix rings over division rings, which may have differing division rings and differing sizes. This classification is given by the Artin–Wedderburn theorem.
  • There is a one-to-one correspondence between the two-sided ideals of Mn(R) and the two-sided ideals of R. Namely, for each ideal I of R, the set of all n×n matrices with entries in I is an ideal of Mn(R), and each ideal of Mn(R) arises in this way. This implies that Mn(R) is simple if and only if R is simple. For n ≥ 2, not every left ideal or right ideal of Mn(R) arises by the previous construction from a left ideal or a right ideal in R. For example, the set of matrices whose columns with indices 2 through n are all zero forms a left ideal in Mn(R).
  • The previous ideal correspondence actually arises from the fact that the rings R and Mn(R) are Morita equivalent. Roughly speaking, this means that the category of left R modules and the category of left Mn(R) modules are very similar. Because of this, there is a natural bijective correspondence between the isomorphism classes of the left R-modules and the left Mn(R)-modules, and between the isomorphism classes of the left ideals of R and Mn(R). Identical statements hold for right modules and right ideals. Through Morita equivalence, Mn(R) can inherit any properties of R which are Morita invariant, such as being simple, Artinian, Noetherian, prime and numerous other properties as given in the Morita equivalence article.


  • The matrix ring Mn(R) is commutative if and only if n = 1 and R is commutative. In fact, this is also true for the subring of upper triangular matrices. Here is an example for 2×2 matrices (in fact, upper triangular matrices) which do not commute:

and . This example is easily generalized to n×n matrices.

  • For n ≥ 2, the matrix ring Mn(R) has zero divisors and nilpotent elements, and again, the same thing can be said for the upper triangular matrices. An example in 2×2 matrices would be
  • The center of a matrix ring over a ring R consists of the matrices which are scalar multiples of the identity matrix, where the scalar belongs to the center of R.
  • In linear algebra, it is noted that over a field F, Mn(F) has the property that for any two matrices A and B, AB=1 implies BA=1. This is not true for every ring R though. A ring R whose matrix rings all have the mentioned property is known as a stably finite ring Template:Harv.

Diagonal subring

Let D be the set of diagonal matrices in the matrix ring Mn(R ), that is the set of the matrices such that every nonzero entry, if any, is on the main diagonal. Then D is closed under matrix addition and matrix multiplication, and contains the identity matrix, so it is a subalgebra of Mn(R ).

As an algebra over R, D is isomorphic to the direct product of n copies of R. It is a free R-module of dimension n. The idempotent elements of D are the diagonal matrices such that the diagonal entries are either 0 or 1.


When R is the field of real numbers, then the diagonal subring of M2(R ), is isomorphic to split-complex numbers. When R is the field of complex numbers, then the diagonal subring is isomorphic to bicomplex numbers. When R = ℍ, the division ring of quaternions, then the diagonal subring is isomorphic to the ring of split-biquaternions, presented in 1873 by William K. Clifford.

See also


  • {{#invoke:citation/CS1|citation

|CitationClass=citation }}