# 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

$S{E}_{ij}{e}_{k}={E}_{ij}S{e}_{k}$ | (1) |

But a straightforward computation shows that $S{E}_{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=sId$. We conclude that $S$ must be a multiple of the identity matrix. $\mathrm{\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 |