# centralizer of matrix units

$\,$

: 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 CentralizerOfMatrixUnits 2013-03-22 18:39:58 2013-03-22 18:39:58 asteroid (17536) asteroid (17536) 8 asteroid (17536) Theorem msc 15A30 msc 16S50