Can all rings with 1 be represented as a $n \times n$ matrix? where $n>1$.

It's just all the rings (with 1) I know can be written as a matrix, i.e., find some matrix representation of it (not necessary commutative). Complex numbers for example is written as obvious matrix. E.g. like this

enter image description herehttp://en.wikipedia.org/wiki/Complex_number#Matrix_representation_of_complex_numbers

However, is it? possible allowing the matrix to be infinite or just have finite amount of columns.

Like complex numbers are uncountable and it gets around the problem as you can write it as a 2x2 matrix. Even the most exotic example of a ring I know can be written as column finite matrix.

Also, I suppose can all groups be represented as $n \times n$ matrix?


The representation of $R$ via linear maps (endomorphisms) on $R$ in the second paragraph of Aaron's answer is known as the (left) regular representation of $R$. It is a ring-theoretic analogue of Cayley's theorem, that a group $G$ may be represented as a subgroup of the group of bijections (permutations) on $G$. In both cases the representation arises by sending each element $\rm\:r\:$ into its associated (left) multiplication map $\: x\:\to\:r\:x\:.\:$ See this MO question for further discussion.

More concretely (for readers unfamiliar with endomorphism rings), the representation arises simply by viewing each element of $R$ as a $1$-by-$1$ matrix $\:[\:r\:]\:,\:$ with the usual matrix algebra. This allows one to view the ring as a subring of the ring of all linear maps on its underlying additive abelian group - in analogy to viewing a group as a subgroup of the group of all bijections on its underlying set.

For a more general view of such representation theorems from the perspective of category theory see the following interesting book, and its review by John Isbell.

Aleš Pultr and Věra Trnková. Combinatorial, algebraic and topological representations of groups, semigroups and categories. North Holland. 1980.


If $R$ is a $k$-algebra for a field $k$ and you have an injective $k$-algebra homomorphism $R\to M_n(k)$, then $R$ is necessarily finite dimensional. This is a very strong restriction on $R$.

However, if $R$ is finite dimensional, when we have a canonical representation $\varphi:R\to \operatorname{End}_k(R)$ sending $r\in R$ to the linear operator given by left multiplication by $r$, that is, $\varphi(r)(s)=rs$. This is a ring homomorphism because $\varphi(r+r')(s)=(r+r')(s)=rs+r's=\varphi(r)(s)+\varphi(r')(s)$ and $\varphi(rr')(s)=(rr's)=r(r's)=\varphi(r)\circ \varphi(r')(s)$. It is easy to check that it is $k$-linear. Additionally, if $R$ is unital, this map is injective: $\varphi(r)(1)=r$, so if $r\neq 0$, then $\varphi(r)\neq 0$.

Note that we don't even need $R$ to be commutative. We can also generalize to when $k$ is a commutative ring and $R$ is finitely generated and free over $k$ (and probably to finitely generated projective).