centralizer of matrix units

Theorem - Let $R$ be a ring with identity $1$ and $M_{n}(R)$ the ring of $n\times n$ matrices with entries in $R$ . The centralizer of the matrix units is the set $R\cdot Id$ , consisting of all multiples of the identity matrix.

$\,$

: It is clear that the multiples of the identity matrix commute with all matrix units, and therefore belong to their centralizer. We will now prove the converse.

We will regard the elements of $M_{n}(R)$ as endomorphisms of the module $\oplus_{i=1}^{n}R$ . We will denote by $\{e_{i}\}$ the canonical basis of $\oplus_{i=1}^{n}R$ and by $E_{ij}$ the matrix unit whose entry $(i,j)$ is $1$ .

Let $S=[s_{ij}]\in M_{n}(R)$ be an element of the centralizer of the matrix units. For all $i, j, k$ we must have

$\displaystyle SE_{ij}\,e_{k}=E_{ij}S\,e_{k}$

(1)

But a straightforward computation shows that $SE_{ij\,}e_{j}=S\,e_{i}$ and $E_{ij}S\,e_{j}=s_{jj}\,e_{i}$ . Since $j$ is arbitrary we see, by equality (1), that all $s_{jj}$ are equal, say $s_{jj}=s\in R$ .

Hence, $S\,e_{i}=s\,e_{i}$ , wich means that $S=s\,Id$ . We conclude that $S$ must be a multiple of the identity matrix. $\square$

Title	centralizer of matrix units
Canonical name	CentralizerOfMatrixUnits
Date of creation	2013-03-22 18:39:58
Last modified on	2013-03-22 18:39:58
Owner	asteroid (17536)
Last modified by	asteroid (17536)
Numerical id	8
Author	asteroid (17536)
Entry type	Theorem
Classification	msc 15A30
Classification	msc 16S50