You are here
Homematrix ring
Primary tabs
matrix ring
0.1 Matrix Rings
A ring $R$ is said to be a matrix ring if there is a ring $S$ and a positive integer $n$ such that
$R\cong M_{n}(S),$ 
the ring of $n\times n$ matrices with entries as elements of $S$. Usually, we simply identify $R$ with $M_{n}(S)$.
Generally, one is interested to find out if a given ring $R$ is a matrix ring. By setting $n=1$, we see that every ring is trivially a matrix ring. Therefore, to exclude these trivial cases, we call a ring $R$ a trivial matrix ring if there does not exist an $n>1$ such that $R\cong M_{n}(S)$. Now the question becomes: is $R$ a nontrivial matrix ring?
Actually, the requirement that $S$ be a ring in the above definition is redundent. It is enough to define $S$ to be simply a set with two binary operations $+$ and $\cdot$. Fix a positive integer $n\geq 1$, define the set of formal $n\times n$ matrices $M_{n}(S)$ with coefficients in $S$. Addition and multiplication on $M_{n}(S)$ are defined as the usual matrix addition and multiplication, induced by $+$ and $\cdot$ of $S$ respectively. By abuse of notation, we use $+$ and $\cdot$ to denote addition and multiplication on $M_{n}(S)$. We have the following:
1. If $M_{n}(S)$ with $+$ is an abelian group, then so is $S$.
2. If in addition, $M_{n}(S)$ with both $+$ and $\cdot$ is a ring, then so is $S$.
3. If $M_{n}(S)$ is unital (has a multiplicative identity), then so is $S$.
The first two assertions above are easily observed. To see how the last one roughly works, assume $E$ is the multiplicative identity of $M_{n}(S)$. Next define $U(a,i,j)$ to be the matrix whose $(i,j)$cell is $a\in S$ and $0$ everywhere else. Using cell entries $e_{{st}}$ from $E$, we solve the system of equations
$U(e_{{st}},i,j)E=U(e_{{st}},i,j)=EU(e_{{st}},i,j)$ 
to conclude that $E$ takes the form of a diagonal matrix whose diagonal entries are all the same element $e\in S$. Furthermore, this $e$ is an idempotent. From this, it is easy to derive that $e$ is in fact a multiplicative identity of $S$ (multiply an element of the form $U(a,1,1)$, where $a$ is an arbitrary element in $S$). The converse of all three assertions are clearly true too.
Remarks.

It can be shown that if $R$ is a unital ring having a finite doublyindexed set $T=\{e_{{ij}}\mid 1\leq i,j\leq n\}$ such that
(a) $e_{{ij}}e_{{k\ell}}=\delta_{{jk}}e_{{i\ell}}$ where $\delta_{{jk}}$ denotes the Kronecker delta, and
(b) $\sum e_{{ij}}=1$,
then $R$ is a matrix ring. In fact, $R\cong M_{n}(S)$, where $S$ is the centralizer of $T$.

A unital matrix ring $R=M_{n}(S)$ is isomorphic to the ring of endomorphisms of the free module $S^{n}$. If $S$ has IBN, then $M_{n}(S)\cong M_{m}(S)$ implies that $n=m$. It can also be shown that $S$ has IBN iff $R$ does.

Any ring $S$ is Morita equivalent to the matrix ring $M_{n}(S)$ for any positive integer $n$.
0.2 Matrix Groups
Suppose $R=M_{n}(S)$ is unital. $U(R)$, the group of units of $R$, being isomorphic to the group of automorphisms of $S^{n}$, is called the general linear group of $S^{n}$. A matrix group is a subgroup of $U(R)$ for some matrix ring $R$. If $S$ is a field, in particular, the field of real numbers or complex numbers, matrix groups are sometimes also called classical groups, as they were studied as far back as the 1800’s under the name groups of tranformations, before the formal concept of a group was introduced.
Mathematics Subject Classification
16S50 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
 Corrections
Comments
Trivial definition?
I wonder then if the "n" in question here shouldn't be built in to the definition of a matrix ring (i.e. a \emph{matrix ring of level $n$} or something). That every ring is a matrix ring, and every matrix ring is a ring, makes the definition (though not the idea) pretty useless. As you point out in the article, interesting questions are not "Is this ring a matrix ring," which has a trivial answer, but instead (in my ad hoc definition above) things like "Is this ring a matrix ring of order 2?"
Cam
Re: Trivial definition?
I see your point. But a 1x1 matrix, as useless as it sounds, is still a mathematically valid construct. So instead of requiring n>1, any ring that is not an isomorphic image of M_n(S) with n>1 is called a trivial matrix ring. The entry is revised to reflect this.
Chi
Re: Trivial definition?
Okay, I think that's a fine fix.
Cam