2
$\begingroup$

Suppose we have the $n \times n$ block matrix $M = [M_{i,j}] = M_{1,1} \oplus \cdots \oplus M_{n,n}$ such that each $M_{i,i}$ is also square and has exactly one eigenvalue $\lambda_i$ and $\lambda_i = \lambda_j \implies i=j$. I need to show that the only matrices which commute with $M$ are also block diagonal with the same block sizes as $M$.

My approach so far was to try and write out a general matrix $A$ in the same block form as $M$ and assume it commutes with $M$. Then compute the multiplication on the left and right and equate the blocks, with the goal of showing that all the non-diagonal blocks must be zero. I didn't make much progress with this approach.

Do you have any suggestions?

  • 0
    Yes, I would take that to mean that the characteristic polynomial of $M$ factors into linear factors in $F$, which is all we need. (With that added, there's no need to assume algebraically closed.)2012-02-16

1 Answers 1

2

Putting $A$ in block form $(A_{ij})$, commutativity means $M_iA_{ij}=A_{ij}M_j$ for all $i$ and $j$, and you want to show that $i\neq j$ implies $A_{ij}=0$. Note that $M_iA_{ij}=A_{ij}M_j$ implies $p(M_i)A_{ij}=A_{ij}p(M_j)$ for every polynomial $p$. In particular, there is an $n$ such that $(M_j-\lambda_j I)^n=0$, so $(M_i-\lambda_j I)^nA_{ij}=0$. Since $M_i-\lambda_j I$ is invertible (when $i\neq j$), this implies that $A_{ij}=0$.